- From: Basile Audoly <address@hidden>
- To: Nicolas Chouvalidzé <address@hidden>
- Cc: TeXmacs <address@hidden>, texmacs-users <address@hidden>
- Subject: Re: Modify document style "tmbook"
- Date: Wed, 4 Mar 2020 09:06:17 +0100
I am working in macOS and I can't reproduce the reported behavior.
Alternatively, you could copy the file to a subdirectory of your home directory using your OS first, and then edit that copy from TeXmacs.
Le 3 mars 2020 à 21:03, Nicolas Chouvalidzé <
address@hidden> a écrit :
- I cannot save the modified source file (even if all other texmacs windows are closed, or if I try to save it as a new doc), which is a real problem...
Archive powered by MHonArc 2.6.19.