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

2014-06-27 Thread Clemens Ballarin
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

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

2014-06-27 Thread Makarius
On Fri, 27 Jun 2014, Clemens Ballarin wrote: 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