Index of /gentoo/app-emacs/proofgeneral/files

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 proofgeneral-4.5-pos..> 20-Mar-2025 13:38  1.4K  
 proofgeneral-4.5-pat..> 20-Mar-2025 13:38  762   
 proofgeneral-4.4-des..> 20-Mar-2025 13:38  425   
 50proofgeneral-gento..> 20-Mar-2025 13:38   68