Re: TeXmacs 1.99.20
Giovanni <[email protected]>
| Newsgroups | gmane.editors.texmacs.devel |
|---|---|
| Message-ID | <[email protected]> |
On 05.05.21 15:46, TeXmacs wrote: > > Hi Max, > > I looked into all problems. I think that I fixed the first one, > but need feed-back from Giovanni. I have compiled and installed the current development version, but I am not confident that I am running it instead of 1.99.19, as despite I am trying to point my system to the development version I am still seeing the same configuration of the default texmacs. But it may be, as the editor looks a bit different. In the test I have done I still get the same debug message. _______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev