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 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.
That is a hard crash of the PIDE protocol handler in Isabelle/ML. It
should now work better with 31844ca390ad.
This is a follow-up to the recently added support for auxiliary files
(via 'ML_file' etc.) within the Prover IDE (05738b7d8191 and before).
Thanks for the patch and the very useful feature for people working with
Isabelle/ML.
Dmitriy
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev