mailing-list for TeXmacs Users

["Alain Herreman" <address@hidden>]

> Sorry, the package must be named omit-proof.ts, with a .ts extension
> instead of a .tm.

Yes, it works! I should have know... Thank you very much.
But... may be it would be better to hide everything (the word "proof" and
the square) and above all :
- to be able to switch from hidden to visible proofs and CONVERSELY.
- "omit" could also be a variable among "blue", "bold", etc. Something like
:  (change "proof" "omit"), but also (change "theorem" "blue"), etc.

What about defining for each environnement a variable [envir]-visible? (for
ex. proof-visible?) and to put in the definition of each environnement a
test?
Then, from the menu, the user could decide, while working and at any time,
to hide or to make visible his proofs, his remarks, etc. and conversely.
What is currently visible and what is currently hidden should be appearent
from the menu.

Alain