Index of /ports/math/proofgeneral/work/ProofGeneral/etc

 Name                    Last modified       Size  Description

 Parent Directory        09-Aug-2008 00:52      -  
 ProofGeneral.desktop    17-Apr-2004 16:39     1k  
 ProofGeneral.menu       17-Apr-2004 16:39     1k  
 mmm-install             17-Apr-2004 16:39     1k  
 announce                25-Aug-2004 13:38     3k  
 ProofGeneral.spec       07-Nov-2006 04:54     4k  
 ProofGeneral.desktop..> 09-Aug-2008 00:52     0k  
 ProofGeneral.spec.html  09-Aug-2008 00:52     0k  
 announce.html           09-Aug-2008 00:52     0k  
 mmm-install.html        09-Aug-2008 00:52     1k  
 ProofGeneral.menu.html  09-Aug-2008 00:52     0k  
 desktop/                09-Aug-2008 00:52      -  
 testsuite/              09-Aug-2008 00:52      -