texmacs-users - autosaving time

Subscribers: 415
Owners

Grégoire Lecerf

Joris van der Hoeven

Contact owners

Subscribe
Unsubscribe
Info
Admin
Archive

Post

RSS
Shared documents

mailing-list for TeXmacs Users

Text archives Help

autosaving time

From: Valery Pipin <address@hidden>
To: <address@hidden>
Subject: autosaving time
Date: Wed, 10 Dec 2003 12:24:29 +0800
Organization: ISTP

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

autosaving time, Valery Pipin, 12/10/2003
- Re: [TeXmacs] autosaving time, Joris van der Hoeven, 12/10/2003
  - Re: [TeXmacs] autosaving time, David Allouche, 12/10/2003
    - Re: [TeXmacs] autosaving time, Joris van der Hoeven, 12/10/2003
- Re: [TeXmacs] autosaving time, David Allouche, 12/10/2003

Archive powered by MHonArc 2.6.19.