Chronological Thread 

< Chronological >      < Thread >

---

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

---

• new users, Bas Spitters, 03/27/2002
  • Re: new users, Joris van der Hoeven, 03/27/2002
  • Re: new users, Nirmal Govind, 03/27/2002
    • Re: new users, Álvaro Tejero Cantero, 03/27/2002
      • Re: new users, Nirmal Govind, 03/27/2002
    • Re: new users, David Allouche, 03/27/2002
      • Re: new users, Álvaro Tejero Cantero, 03/27/2002

---

Archive powered by MHonArc 2.6.19.