../ TeXmacs.desktop 22-Mar-2008 13:55 268 texmacs-mupad.patch 17-Mar-2011 20:21 693 texmacs-plugins-1.patch 09-Jan-2014 07:34 2920 texmacs-plugins.patch 13-Sep-2012 06:40 2924 texmacs-strip.patch 31-Oct-2010 05:15 710 texmacs-updates.patch 16-Sep-2012 04:52 1387