[isabelle-dev] building of Isabelle/jEdit dependencies

Christian Sternagel c-sterna at jaist.ac.jp
Thu Sep 27 05:26:21 CEST 2012

Dear all,

I noticed that when some dependencies of Isabelle/jEdit are updated 
(i.e., Isabelle/Scala, Isabelle/Graphview, Isabelle/jEdit) they are 
built on startup of 'isabelle jedit Some_Theory_File.thy' ...

However, for me (development repo changeset 289de72578bb with 
jedit_build-20120903 on Linux 64bit; but as far as I remember I 
experienced the same behavior with earlier changesets and jedit_build 
components) this never finishes (at least not within the time I was 
patient enough to wait). Thus I have to kill the process and manually 
run 'isabelle jedit -bf' (which runs through rather quickly).

Mostly I'm curious whether this is also happening to others?



More information about the isabelle-dev mailing list