Am 22.04.2015 um 00:39 schrieb Makarius:
[ ... ]

Just keep the path open.

The path to connect Emacs to the PIDE infrastructure of Isabelle is still open. It should be even easier now than the classic Proof General TTY loop (which I did together with David Aspinall in 1998/1999). It did not happen so far, and I don't believe it will happen in the foreseeable future, due to the structure of the remaining Emacs community.


Thanks! Should your time permit to point me at some Emacs-related issues which came into the way, would like to look at.


ProofGeneral-devel mailing list

Reply via email to