[isabelle-dev] Isabelle/jedit reports that file was changed on disk
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