-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
From : Victor Porton <address@hidden>- To: TeXmacs <address@hidden>
- Subject: [TeXmacs] Mode for double/composite editing
- Date: Fri, 07 Feb 2014 21:22:32 +0200
- Envelope-from: address@hidden
The thing I do right now is to explore Bourbaki's proofs and write more
general theorems and proofs.
Can we invent something to ease this job?
What I want is "double" text editing, at the same time looking to a
Bourbaki's proof and writing a more general proof, so that two "modes" would
interleave.
Maybe we don't need to modify TeXmacs core for this, but just to create some
macroses?
I really have no idea HOW, I know only WHAT I need. But we may think.
--
Victor Porton - http://portonvictor.org
- [TeXmacs] Mode for double/composite editing, Victor Porton, 02/07/2014
- Re: [TeXmacs] Mode for double/composite editing, Victor Porton, 02/07/2014
- [TeXmacs] Maxima session with texmacs, windows, Poul Riis, 02/07/2014
- Re: [TeXmacs] Mode for double/composite editing, Miguel de Benito Delgado, 02/08/2014
- [TeXmacs] number of pages, Vincent Douce, 02/09/2014
- Re: [TeXmacs] Mode for double/composite editing, Joris van der Hoeven, 02/26/2014
- Re: [TeXmacs] Mode for double/composite editing, Victor Porton, 02/07/2014
Archive powered by MHonArc 2.6.19.
