[isabelle-dev] Isabelle/jedit reports that file was changed on disk

Clemens Ballarin ballarin at in.tum.de
Fri Jun 27 21:14:34 CEST 2014

I occasionally get a modal dialog reporting that a the file I currently edit was changed on disk by another program and therefore automatically reloaded.  I didn't touch or modify the program myself, and ls -l does not indicate a recent modification either.

This is for a fairly recent repository build (7da3e398804c) with all components as requested by this configuration.


More information about the isabelle-dev mailing list