On 09/27/2012 07:26 PM, Ondřej Kunčar wrote:
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".
Thanks Ondrej,
on closer inspection the same is happening in my case (i.e., there was
no longer any process running, but jedit didn't start).
cheers
chris
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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
