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

 Name                    Last modified       Size  Description

 Parent Directory        09-Aug-2008 00:52      -  
 application-registry/   09-Aug-2008 00:52      -  
 icons/                  07-Nov-2006 10:04      -  
 mime-info/              09-Aug-2008 00:52      -  
 proofgeneral.desktop    07-Jan-2008 05:14     1k  
 proofgeneral.desktop..> 07-Jan-2008 05:14     1k  
 proofgeneral.desktop..> 09-Aug-2008 00:52     0k  
 proofgeneral.desktop..> 09-Aug-2008 00:52     0k