Re: [isabelle] Emacs/Isabelle crash



On page 20, I go to enter
in the type declaration given, using
\<not>

for the negation in the "value" method (per appendix A.1).  Emacs
reliably crashes every time I do this.  Crash report below.


What would be the best course of action to move forward?

No idea about fixing the actual problem... but before it becomes a show-stopper for you, you can fall back to ascii notation: "~ P" is the same as "\<not> P".

Alex





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