Index of /ports/math/proofgeneral/work/ProofGeneral/etc/desktop/mime-info

 Name                    Last modified       Size  Description

 Parent Directory        09-Aug-2008 00:52      -  
 proofgeneral.keys       17-Apr-2004 16:39     1k  
 proofgeneral.mime       17-Apr-2004 16:39     1k  
 proofgeneral.mime.html  09-Aug-2008 00:52     0k  
 proofgeneral.keys.html  09-Aug-2008 00:52     0k