Name Last modified Size Description
Parent Directory -
texmacs-updates.patch 16-Jun-2016 18:18 1.4K
texmacs-plugins-1.patch 16-Jun-2016 18:18 2.9K
texmacs-1.99.2-under..> 16-Jun-2016 18:18 559
texmacs-1.99.2-norpa..> 16-Jun-2016 18:18 428
texmacs-1.99.2-deskt..> 16-Jun-2016 18:18 632
texmacs-1.99-remove-..> 01-Aug-2016 02:29 842
TeXmacs.desktop 16-Jun-2016 18:18 241