Re: [isabelle] Emacs/Isabelle crash
On page 20, I go to enter
in the type declaration given, using
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".
This archive was generated by a fusion of
Pipermail (Mailman edition) and