files

     _                _          _     
 ___| |__   ___  _ __| | __  ___| |__  
/ __| '_ \ / _ \| '__| |/ / / __| '_ \ 
\__ \ | | | (_) | |  |   < | (__| | | |
|___/_| |_|\___/|_|  |_|\_(_)___|_| |_|

Rsync: rsync://mirrors.shork.ch/gentoo/sci-mathematics/twelf/files/

Contact: admin@shork.ch

0 directories 12 files 19 KiB total

List Grid

Name	Size	Modified
Up
50twelf-gentoo.el	69 B	04/23/2025 07:41:10 PM +00:00
twelf-1.7.1-doc-guide-Makefile.patch	498 B	03/28/2022 02:10:04 PM +00:00
twelf-1.7.1-doc-guide-twelf-dot-texi.patch	386 B	08/09/2015 12:38:18 AM +00:00
twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch	1.6 KiB	03/27/2022 06:40:06 AM +00:00
twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch	1.2 KiB	03/27/2022 06:40:06 AM +00:00
twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch	1.1 KiB	03/28/2022 02:10:04 PM +00:00
twelf-1.7.1-emacs-twelf-init.patch	813 B	08/09/2015 12:38:18 AM +00:00
twelf-1.7.1-emacs-twelf.patch	602 B	08/09/2015 12:38:18 AM +00:00
twelf-1.7.1-Makefile.patch	1.3 KiB	08/09/2015 12:38:18 AM +00:00
twelf-1.7.1-mlton-20180207.patch	310 B	03/11/2018 12:09:02 AM +00:00
twelf-1.7.1-mlton-mlb.patch	11 KiB	08/09/2015 12:38:18 AM +00:00
twelf-1.7.1-remove-svnversion.patch	241 B	03/27/2022 06:40:06 AM +00:00