[isabelle-dev] Remaining uses of Proof General?
makarius at sketis.net
Thu Jun 26 23:08:10 CEST 2014
This is a reminder that this thread is still open, until the end of next
week when the question will be moved to isabelle-users, with the
appearance of Isabelle2014-RC0 (that will be published from the running
repository *without* a repository fork yet).
At the moment (06599233e54e) there are no remaining uses of Proof General
to the best of my knowledge. If anybody has counter-examples they should
be put on the table for discussion.
More information about the isabelle-dev