[isabelle] Prover Process terminated!?



Isabelle/jEdit showed me this message right after I started to load some
theory files.

Any idea what happened here?

--
  Peter

Welcome to Isabelle/CAVA_Base (Isabelle2014: August 2014)
poly: gc_mark_phase.cpp:439: virtual void
MTGCProcessMarkPointers::ScanAddressesInObject(PolyObject*,
POLYUNSIGNED): Assertion `baseAddr > (PolyWord*)obj && baseAddr <
((PolyWord*)obj)+length' failed.

Malformed message:
bad chunk (unexpected EOF after 539 of 4206 bytes)
message_output terminated
/home/lammich/opt/Isabelle2014/lib/scripts/run-polyml-5.5.2: line 84:
2833 Aborted                 (core dumped) "$POLY" -q -i $ML_OPTIONS
--eval "$(perl "$ISABELLE_HOME/lib/scripts/recode.pl" "$MLTEXT")"
--error-exit < /dev/null

standard_error terminated
standard_output terminated
process terminated
command_input terminated
process_manager terminated
Return code: 134





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