Chronological Thread 

< Chronological >      < Thread >

---

> 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

---

• How to hide an environnement?, Alain Herreman, 10/20/2002
  • Re: How to hide an environnement?, David Allouche, 10/21/2002
    • Re: How to hide an environnement?, David Allouche, 10/21/2002
      • Re: How to hide an environnement?, Alain Herreman, 10/21/2002
        • Deleting wide acent?, f96jolo, 10/21/2002
          • Re: Deleting wide acent?, f96jolo, 10/21/2002
        • Re: How to hide an environnement?, David Allouche, 10/21/2002
          • Re: How to hide an environnement?, Alain Herreman, 10/22/2002

---

Archive powered by MHonArc 2.6.19.