[isabelle-dev] building of Isabelle/jEdit dependencies

Ondřej Kunčar kuncar at in.tum.de
Thu Sep 27 12:26:42 CEST 2012


It has happened to me only once.

But I experience different behavior/problem when some dependencies need 
to be rebuild.
I usually execute Isabelle by this command "isabelle jedit &" and 
Isabelle correctly tries to build dependencies; it takes a while but 
then the process ends and the editor doesn't start. If you try to run 
the same command again, it does exactly the same - it tries to rebuild 
dependencies and so on with the same result. The workaround is to run 
"isabelle jedit".


On 09/27/2012 05:26 AM, Christian Sternagel wrote:
> 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?
> cheers
> chris
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list