Index of /www001/src/ports/math/proofgeneral/work/ProofGeneral-3.6pre061107/doc

 Name                    Last modified       Size  Description

 Parent Directory        09-Aug-2008 03:52      -  
 index.html              31-Dec-1969 19:00      -  
 dir                     17-Apr-2004 19:39     1k  
 proofgeneral.1          10-Aug-2005 09:01     1k  
 Makefile                10-Aug-2005 09:05     1k  
 PG-adapting.info        07-Nov-2006 13:04   186k  
 PG-adapting.texi        07-Nov-2006 13:04   165k  
 PG-adapting/            07-Nov-2006 13:04      -  
 ProofGeneral.info       07-Nov-2006 13:04   194k  
 ProofGeneral.texi       07-Nov-2006 13:04   174k  
 ProofGeneral/           07-Nov-2006 13:04      -  
 Makefile.doc            07-Jan-2008 08:14     4k  
 Makefile.doc.html       09-Aug-2008 03:52    10k  
 PG-adapting.texi.html   09-Aug-2008 03:52     0k  
 ProofGeneralPortrait..> 09-Aug-2008 03:52     0k  
 ProofGeneralPortrait..> 09-Aug-2008 03:52     0k  
 dir.html                09-Aug-2008 03:52     0k  
 proofgeneral.1.html     09-Aug-2008 03:52     0k  
 Makefile.html           09-Aug-2008 03:52     2k  
 PG-adapting.info.html   09-Aug-2008 03:52     0k  
 ProofGeneral.info.html  09-Aug-2008 03:52     0k  
 ProofGeneral.texi.html  09-Aug-2008 03:52     0k