Re: [Texmacs-dev] What is the status of the Gitorious mirror?
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
[Texmacs-dev] Is there any detailed guide on compile TeXmacs on MacOS?
I've see the xcode project files in the repo but don't know how to use it. ___ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev