-
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: Re: [TeXmacs] Mode for double/composite editing
- Date: Fri, 07 Feb 2014 21:27:46 +0200
- Envelope-from: address@hidden
07.02.2014, 21:22, "Victor Porton" <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.
One idea is to make two-column editor for this.
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.
