summaryrefslogtreecommitdiff
path: root/sci-mathematics/twelf/files
ModeNameSize
-rw-r--r--50twelf-gentoo.el104logplain
-rw-r--r--twelf-1.7.1-Makefile.patch1298logplain
-rw-r--r--twelf-1.7.1-doc-guide-Makefile.patch498logplain
-rw-r--r--twelf-1.7.1-doc-guide-twelf-dot-texi.patch386logplain
-rw-r--r--twelf-1.7.1-emacs-twelf-init.patch813logplain
-rw-r--r--twelf-1.7.1-emacs-twelf.patch602logplain
-rw-r--r--twelf-1.7.1-mlton-20180207.patch310logplain
-rw-r--r--twelf-1.7.1-mlton-mlb.patch11244logplain