[isabelle-dev] Remaining uses of Proof General?

[Makarius]

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.


 	Makarius