mailing-list for TeXmacs Users

[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.

--
Victor Porton - http://portonvictor.org