Dear all, I just learned that changes made to a style file with a text editor will not be recognized by TeXmacs. It is necessary to rebuild the cache to make TeXmacs aware of the changes.
When editing the file with TeXmacs, it takes care of updating the cache. It would be of great help to include this information in the manual. Best regards, Marduk _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
