Index of /pi64-portage-gemato/sci-mathematics/twelf/files

	Name	Last modified	Size	Description
	Parent Directory		-
	50twelf-gentoo.el	2015-08-09 00:38	104
	twelf-1.7.1-Makefile.patch	2015-08-09 00:38	1.3K
	twelf-1.7.1-doc-guide-Makefile.patch	2015-08-09 00:38	498
	twelf-1.7.1-doc-guide-twelf-dot-texi.patch	2015-08-09 00:38	386
	twelf-1.7.1-emacs-twelf-init.patch	2015-08-09 00:38	813
	twelf-1.7.1-emacs-twelf.patch	2015-08-09 00:38	602
	twelf-1.7.1-mlton-20180207.patch	2018-03-11 00:09	310
	twelf-1.7.1-mlton-mlb.patch	2015-08-09 00:38	11K