[isabelle-dev] Outdated state after opening theories from images
traytel at in.tum.de
Fri Nov 22 17:46:02 CET 2013
This refers to Isabelle/d71c2737ee21.
The minimal example is really minimal this time:
In Isabelle/jEdit this loads fine. Then Control+click on Main, wait a
moment for the text to turn #EEE3E3, close Main.thy and Scratch.thy is
now outdated as well. The only thing that helps now is a jEdit restart.
More information about the isabelle-dev