- From: Giovanni Piredda <address@hidden>
- To: TeXmacs <address@hidden>
- Subject: On-line html version of the manual
- Date: Wed, 16 Dec 2020 13:56:30 +0100
It exists (e.g.
https://www.texmacs.org/tmweb/manual/webman-edit-tools.en.html), but I
do not find a way to access it systematically---I need to find the pages
with an internet search if I want to go to them. Are there links to them
in the TeXmacs website?
- On-line html version of the manual, Giovanni Piredda, 12/16/2020
Archive powered by MHonArc 2.6.19.