mailing-list for TeXmacs Users

[David Allouche <address@hidden>]

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