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

[Lars Noschinski]

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