[isabelle-dev] Outdated state after opening theories from images

Dmitriy Traytel 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:

theory Scratch
imports Main
begin

end

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.

Dmitriy


More information about the isabelle-dev mailing list