[isabelle] frequent jEdit crash (Mac OS10.8.4; Isabelle 2013)



Hi, 

I am getting a frequent crash of Isabelle/jEdit with the following error

"
/Applications/Isabelle2013.app
/Contents/Resources/Isabelle2013/lib/Tools/java: line 1: 
  375 Trace/BPT trap: 5       
  
  "$ISABELLE_JDK_HOME/bin/$PRG" "$@"

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.

Many thanks
Leo



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