mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Tue, Oct 18, 2005 at 10:38:26AM +0200, David MENTRE wrote:
> 2005/10/18, Joris van der Hoeven <address@hidden>:
> > Don't forget to relaunch TeXmacs using
> >
> >         texmacs --delete-cache
> >
> > so that possibly wrong settings are not kept in the cache.
> 
> Would it not be simpler to include a revision number in the cache
> (e.g. the version of TeXmacs) and to automatically erase the cache if
> the revision number does not match with the launched binary?

This is already the case. But if you make a mistake during the installation,
and you try something else with the *same* version, then you will have to
manually say so...