Karl, Many thanks for your detailed reply. I am building from a subversion checkout at the moment but I have saved your message for when I want to switch to git to hack on the code.
Regarding the TeXmacs website, perhaps it should not advertise the Gitorious repository at https://gitorious.org/texmacs/texmacs , since it is not up to date? Just a thought. Regards, Jeremy Henty _______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
