Index of /gentoo-portage/sci-mathematics/twelf/files/


../
50twelf-gentoo.el                                                                                                        09-Aug-2015 00:38     104
twelf-1.7.1-Makefile.patch                                                                                               09-Aug-2015 00:38    1298
twelf-1.7.1-doc-guide-Makefile.patch                                                                                     28-Mar-2022 14:10     498
twelf-1.7.1-doc-guide-twelf-dot-texi.patch                                                                               09-Aug-2015 00:38     386
twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch                                                                      27-Mar-2022 06:40    1629
twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch                                                                      27-Mar-2022 06:40    1263
twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch                                                                      28-Mar-2022 14:10    1169
twelf-1.7.1-emacs-twelf-init.patch                                                                                       09-Aug-2015 00:38     813
twelf-1.7.1-emacs-twelf.patch                                                                                            09-Aug-2015 00:38     602
twelf-1.7.1-mlton-20180207.patch                                                                                         11-Mar-2018 00:09     310
twelf-1.7.1-mlton-mlb.patch                                                                                              09-Aug-2015 00:38     11K
twelf-1.7.1-remove-svnversion.patch                                                                                      27-Mar-2022 06:40     241