Index of /gentoo-portage-snapshots/2015-03-01-0211/sci-mathematics/twelf/files/

../
50twelf-gentoo.el                                  09-Dec-2012 23:02                 104
twelf-1.7.1-Makefile.patch                         09-Dec-2012 23:02                1298
twelf-1.7.1-doc-guide-Makefile.patch               09-Dec-2012 23:02                 498
twelf-1.7.1-doc-guide-twelf-dot-texi.patch         09-Dec-2012 23:02                 386
twelf-1.7.1-emacs-twelf-init.patch                 09-Dec-2012 23:02                 813
twelf-1.7.1-emacs-twelf.patch                      09-Dec-2012 23:02                 602
twelf-1.7.1-mlton-mlb.patch                        15-Jan-2014 08:07               11244