It says Timeout. Presumably this supports your guess.
Tobias
Am 21/11/2013 15:34, schrieb Makarius:
On Thu, 21 Nov 2013, Tobias Nipkow wrote:
Some such effects may indeed play a role, although I originally did not
observe
it when reloading a theory but while editing an existing theory.
Looks good. Sorry for the delay, and for dropping this check in the
first place (honestly I do not remember why I dropped it, but I do
remember that it was no accident ... I guess I was convinced that it
would not do any harm ;)).
chris
On 11/21/2013 10:02 PM, Makarius wrote:
On Thu, 21 Nov
On Fri, 22 Nov 2013, Christian Sternagel wrote:
honestly I do not remember why I dropped it, but I do remember that it
was no accident ... I guess I was convinced that it would not do any
harm
Just formally, the existing sources are always right. This means when
doing a change to override
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
On Fri, 22 Nov 2013, Dmitriy Traytel wrote:
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
On Fri, 22 Nov 2013, Christian Sternagel wrote:
Looks good.
I'm waiting for Christian to confirm this.
Chris, is this OK?
I am ready to send f6ffe53387ef to the emergency release branch
https://bitbucket.org/isabelle_project/isabelle-release
See now
Am 22.11.2013 21:40, schrieb Makarius:
On Fri, 22 Nov 2013, Dmitriy Traytel wrote:
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