i tried the new education compact style, but i do prefer the old compact style. I lost it with the texmacs deb package. How to do to get it back and use it within texmacs along the new versions of style ?
Thanks,
M.
[TeXmacs] reinstall old style, marc lalaude-labayle, 03/11/2019