mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Wed, 10 Dec 2003, Valery Pipin wrote:
> Is it possible to change the time option for  autosaving the document or
> session?

No, there is not, but it should not be extremely difficult to hack
the sources to create such an option (even though several files would
need to be changed). I have no time for this right now.

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