Opened 9 years ago
#506 new enhancement
Please add Proof IDE support to emacs PG
Reported by: | Generic Isabelle user | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | PG-Emacs-4.3 |
Component: | 2:pg-emacs | Keywords: | |
Cc: | dagitj@… |
Description
The tty mode has been dropped in Isabelle 2015. So in order for PG to continue to support Isabelle, PG will need to add support for PIDE: http://sketis.net/2014/discontinuation-of-isabelle-proof-general
My current workaround is to use an older version of Isabelle, which is okay for now, but eventually those versions may be too old to be useful.
Thank you!
PS. If this is already supported then I apologize; I was not able to find how to enable it.
Note: See
TracTickets for help on using
tickets.