- From: David Allouche <address@hidden>
- To: address@hidden
- Subject: Re: new users
- Date: Wed, 27 Mar 2002 19:17:24 +0100
On Wednesday 27 March 2002 18:44, Nirmal Govind wrote:
>
I tried this out.. after you're done with the Theorem, if you hit Esc and
>
follow it up by hitting right arrow twice, it goes into an "expand theorem"
>
mode but this seems to switch out of Theorem mode and back to normal text
>
mode. I'm not sure if this is the right way to do it though... I checked
>
the tutorial but couldn't find anything on this there...
"expand theorem" is not a mode. It is the descripition of the data just
before the cursor. Theorems are "macros" in TeXmacs, and macros are
instanciated by the "expand" command.
--
-- David --
Archive powered by MHonArc 2.6.19.