mailing-list for TeXmacs Users

["Alain Herreman" <address@hidden>]

Thank you David for your answer.

> > Copy it to your ~/.TeXmacs/packages/ directory to see it appear in the
> > "Document->Use package" menu.

Ok, it appears in "Document->Use package" menu... But I still have the
proofs on my screen when I select the package.
Moreover, the idea was not only to hide the proofs, but to be able to hide
any defined environnement : "proof" should be the value of a variable.

Alain Herreman