mailing-list for TeXmacs Users

[Álvaro Tejero Cantero <address@hidden>]

El Mié 27 Mar 2002 19:17, escribió:
   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.

Then it's name would be better, perhaps, "expanded theorem"?

-- 
álvaro.tejero.cantero
TeXmacs resources coordinator
http://alqua.com/tmresources