mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Tue, Nov 08, 2005 at 08:57:28AM +0100, Ingolf Schäfer wrote:
> I have just switched to version 1.0.5.12. It works fine, but there seems  
> to be some bug at the first start. TeXmacs is producing bus errors, after  
> installing in place of the old version 1.0.5.11. They disappaer, if I do  
> texmacs --delete-cache.

Thanks for noticing this bug.

> Maybe, I'm wrong, but was TeXmacs not supposed to flush to cache  
> automatically, when updating to a new version?

Yes, but I forgot the stat and doc caches.
The problem has been fixed for the next version.

Best wishes, Joris