[isabelle] JEdit plugin error while loading Isabelle

Dear Isabelle Community,

I have encountered a problem with the Isabelle-jEdit plugin while starting Isabelle. Basically, the problem occurs after unplugging the computer before it is completely switched off. As a result I can no longer work in Isabelle.

The problem has been posted on StackOverflow for four months (it happened already with a previous machine) and hasn't received an answer:


Please let me know if there is a fix for this problem.


Rodrigo Raya

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.