[isabelle] Isabelle 2014 and proof general
I just installed Isabelle 2014 and started in a way I was starting previous version:
/Applications/Isabelle2014.app/Isabelle/bin/isabelle emacs -p /Applications/Aquamacs.app/Contents/MacOS/Aquamacs &
and I got the error:
Unknown Isabelle tool: emacs
Does it mean 2014 version is no longer support emacs/Proof General?
I am old time Emacs User (20+ years) and for that reason I was preferring Proof General to JEdit.
CMU ECE PhD student
This archive was generated by a fusion of
Pipermail (Mailman edition) and