[isabelle-dev] Remaining uses of Proof General?

Makarius makarius at sketis.net
Sun Apr 27 20:14:49 CEST 2014

Are there any remaining uses of Proof General, e.g. in the situation of 
current Isabelle/5b6f4655e2f2 ?

This is neither a joke nor a running gag -- I just can't think of anything 
myself after the introduction of the spell checker.


More information about the isabelle-dev mailing list