mailing-list for TeXmacs Users

[Victor Porton <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