mailing-list for TeXmacs Users

[David Allouche <address@hidden>]

On Mon, Oct 21, 2002 at 08:42:53AM +0200, Alain Herreman wrote:
> 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.

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

> 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.

I just tried to do that, but I could not manage to make it work,
because it seems the VALUE cannot be used recursively.

    (document 
     (assign "omit-label" "(Ommited)")
     (assign "omit-env" (func "name"
       (assign (value "name")
               (eval (hold
                      (macro "x" (expand (release (value (value "name")))
                                         (value "omit-label"))))))))
     (apply "omit-env" "proof"))

If I understand well, you want a function called omit-env which you
can apply as many times as you want in a personal style file to hide
the content of any named, unary environment. If that is right I may
try to fix the problem with VALUE. The patch should be
straightforward.

-- 
David Allouche         | GNU TeXmacs -- Writing is a pleasure
Free software engineer |    http://www.texmacs.org
   http://ddaa.net     |    http://alqua.com/tmresources
   address@hidden  |    address@hidden
TeXmacs is NOT a LaTeX front-end and is unrelated to emacs.