mailing-list for TeXmacs Users

[Valery Pipin <address@hidden>]

Hello Everybody!

Is it possible to change the time option for  autosaving the document or 
session? The texmacs does it very often. I prefer to refuse the  autosave 
option at all. This is especially usefull when I batch some maxima program 
within texmacs.

Thanks in advance,

Valery