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-fix-old-style-backquotes-p1.patch1629logplain
-rw-r--r--twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch1263logplain
-rw-r--r--twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch1169logplain
-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
-rw-r--r--twelf-1.7.1-remove-svnversion.patch241logplain