[isabelle-dev] jEdit: Loading theories does not work

Lars Noschinski noschinl at in.tum.de
Fri Jan 13 20:46:23 CET 2012

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

More information about the isabelle-dev mailing list