On 13.01.2012 13:49, Lars Noschinski wrote:
Hi,
lately, Isabelle/jEdit stopped working for me on my work laptop. The
Isabelle process is started (the usual startup phrase is displayed in
the log windows), but the status is displayed as "startup". In
particular, no parsing, syntax coloring or proof checking happens; the
polyml processes seem to be mostly idle. I bisected the problem down to
the following commit:
Please ignore this for now; if found an error in my test setup. Will try
again on monday.
Sorry, Lars
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
