There is a mirror at github (manually updated) https://github.com/mgubi/texmacs <https://github.com/mgubi/texmacs>
use the master branch. the rest is wild west. max > On 30 Nov 2016, at 17:55, Karl Hegbloom <[email protected]> wrote: > > Perhaps the TeXmacs project could set up a group on github, and mirror there? > Or... does Savannah have git? > > > On Wed, Nov 30, 2016, 04:29 Jeremy Henty <[email protected] > <mailto:[email protected]>> wrote: > > 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 > <https://gitorious.org/texmacs/texmacs> , since > it is not up to date? Just a thought. > > Regards, > > Jeremy Henty > > _______________________________________________ > Texmacs-dev mailing list > [email protected] <mailto:[email protected]> > https://lists.gnu.org/mailman/listinfo/texmacs-dev > <https://lists.gnu.org/mailman/listinfo/texmacs-dev> > _______________________________________________ > Texmacs-dev mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
