[isabelle] frequent jEdit crash (Mac OS10.8.4; Isabelle 2013)
I am getting a frequent crash of Isabelle/jEdit with the following error
/Contents/Resources/Isabelle2013/lib/Tools/java: line 1:
375 Trace/BPT trap: 5
Return code: 133
It seems to happen every time a set of theories are loaded. Any hint / suggestion on what's happening?
Could send the larger log if needed.
This archive was generated by a fusion of
Pipermail (Mailman edition) and