mailing-list for TeXmacs Users

[marc lalaude-labayle <address@hidden>]

Hi,

at first thank you for your help about compiling texmacs with ubuntu. At the moment i have to work and test the native windows version, and as Joris told it, it's a lot better than it used to be. I will show this windows version without any fear.

For ubuntu or linux more generally, the version packaged with precise (1:1.0.7.14-1 ) does have the "new" icons, as in the windows version. But, for the last stable version donwloadable on the site (1.0.7.15), the icons are the old ones : is this as required ?

Another question : within ubuntu 12.04 you can't install the additional fonts via the package manager : there is a conflict with the texmacs-common package. Is this wanted too ?

Marc