Index of /ports/math/proofgeneral/work/ProofGeneral-3.6pre061107/plastic

 Name                    Last modified       Size  Description

 Parent Directory        09-Aug-2008 00:52      -  
 plastic-syntax.el       17-Apr-2004 16:40     4k  
 plastic-syntax.el.html  09-Aug-2008 00:52     0k  
 plastic.el              26-Apr-2006 15:31    24k  
 plastic.el.html         09-Aug-2008 00:52     0k  
 test.lf                 17-Apr-2004 16:40     1k  
 test.lf.html            09-Aug-2008 00:52     0k