Index of /ports/math/proofgeneral

 Name                    Last modified       Size  Description

 Parent Directory        13-Sep-2008 13:31      -  
 Makefile                27-Oct-2007 18:04     2k  
 Makefile.html           09-Aug-2008 00:52     5k  
 distinfo                06-Feb-2007 17:19     1k  
 distinfo.html           09-Aug-2008 00:52     0k  
 files/                  09-Aug-2008 00:52      -  
 pkg-descr               31-Aug-2005 03:36     1k  
 pkg-descr.html          09-Aug-2008 00:52     0k  
 pkg-plist               24-Oct-2007 18:05    31k  
 pkg-plist.html          09-Aug-2008 00:52     0k  
 work/                   09-Aug-2008 00:52      -