mailing-list for TeXmacs Users

[Massimiliano Gubinelli <address@hidden>]

Here some other small changes, 

http://www.ceremade.dauphine.fr/~mgubi/tm-web/home/welcome.en.html

essentially I've tried to keep the overall coloring scheme and just reduce 
the visual noise created by the various borders in the current style.

If somebody knows how to programmatically (via Javascript) select different 
style files I could try to hack up a system to compare different solutions.


Best
max