[isabelle-dev] Remaining uses of Proof General?

Makarius 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 mailing list