Index of /gentoo/sci-mathematics/twelf/files

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 50twelf-gentoo.el       09-Aug-2015 02:38  104   
 twelf-1.7.1-Makefile..> 09-Aug-2015 02:38  1.3K  
 twelf-1.7.1-doc-guid..> 28-Mar-2022 16:10  498   
 twelf-1.7.1-doc-guid..> 09-Aug-2015 02:38  386   
 twelf-1.7.1-emacs-fi..> 27-Mar-2022 08:40  1.6K  
 twelf-1.7.1-emacs-fi..> 27-Mar-2022 08:40  1.2K  
 twelf-1.7.1-emacs-fi..> 28-Mar-2022 16:10  1.1K  
 twelf-1.7.1-emacs-tw..> 09-Aug-2015 02:38  813   
 twelf-1.7.1-emacs-tw..> 09-Aug-2015 02:38  602   
 twelf-1.7.1-mlton-20..> 11-Mar-2018 01:09  310   
 twelf-1.7.1-mlton-ml..> 09-Aug-2015 02:38   11K  
 twelf-1.7.1-remove-s..> 27-Mar-2022 08:40  241