Hi, 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".
Ondrej 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 [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
