P.S. I want to make a package manager for TeXmacs plugins and styles that uses git under the hood. I think it should be possible to associate a document with a particular version of a style or add-on, so old documents don't break, or a way to bundle the styles into a document for archiving.
On Wed, Nov 30, 2016, 09:54 Karl Hegbloom <karl.hegbl...@gmail.com> 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 <onepo...@starurchin.org> 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 , since it is not up to date? Just a thought. Regards, Jeremy Henty _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
