[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.

Sincerely,
Vadim Zaliva

--
CMU ECE PhD student
Mobile: +1(510)220-1060
Skype: vzaliva





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