Subject: mailing-list for TeXmacs Users
List archive
From : Giovanni Piredda <address@hidden>- To: address@hidden
- Subject: Re: [TeXmacs] Suggestions for making TeXmacs more popular.
- Date: Mon, 6 May 2019 11:20:11 +0200
Am 04.05.2019 um 14:13 schrieb
Massimiliano Gubinelli:
Dear Amir,
let me comment a bit on your proposal below,
This is indeed an issue: many unexperienced
TeXmacs users (e.g. my students) leave a lot of
garbage in their TeXmacs files because essentially
they are not aware of many environments they
create accidentally. This poses a lot of problems
in LaTeX exporting, for example. Maybe it would be
good to have some kind of “Lint” tool for TeXmacs
which could highlights problems like empty
environments or math outside math environments,
which are not strictly errors but maybe likely
unintended behavior.
Here the "No style" style might be a temporary solution, maybe with slight adaptations. I have checked it and it sets equations and tables, so that the document is legible, but it places the "structure tags" (I have tried a section, an itemization, a table and an equation). I have see that it did not place a tag in a table which I wrote inside a table, so maybe this would have to be changed; and perhaps also one could eliminate the tags which indicate character changes (i.e. strong, emphasize). Finally, change the style name into "structure" :-) |
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., (continued)
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Giovanni Piredda, 05/06/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Massimiliano Gubinelli, 05/04/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Massimiliano Gubinelli, 05/04/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Amir Michail, 05/04/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Hemza KHERIBOT, 05/05/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Massimiliano Gubinelli, 05/05/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Giovanni Piredda, 05/06/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Massimiliano Gubinelli, 05/05/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Massimiliano Gubinelli, 05/05/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Amir Michail, 05/05/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Ben shimol Yehuda, 05/05/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Amir Michail, 05/05/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Hemza KHERIBOT, 05/05/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Giovanni Piredda, 05/06/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Amir Michail, 05/04/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Philippe Joyez, 05/07/2019
- Re: [TeXmacs] Suggestions for making TeXmacs more popular., Amir Michail, 05/07/2019
Archive powered by MHonArc 2.6.19.