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

• Parent Directory
• 50twelf-gentoo.el
• twelf-1.7.1-Makefile.patch
• twelf-1.7.1-doc-guide-Makefile.patch
• twelf-1.7.1-doc-guide-twelf-dot-texi.patch
• twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch
• twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch
• twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch
• twelf-1.7.1-emacs-twelf-init.patch
• twelf-1.7.1-emacs-twelf.patch
• twelf-1.7.1-mlton-20180207.patch
• twelf-1.7.1-mlton-mlb.patch
• twelf-1.7.1-remove-svnversion.patch