Hello, I happened to stumble across the following message: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=404375
Texmacs has been orphaned in Debian (and thus Ubuntu etc.) :-( Bas _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
