|There is a mirror at github (manually updated)|
use the master branch. the rest is wild west.
Perhaps the TeXmacs project could set up a group on github, and mirror there? Or... does Savannah have git?
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.
Texmacs-dev mailing list
Texmacs-dev mailing listaddress@hidden