[isabelle-dev] Remaining uses of Proof General?

[Makarius]

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.


        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev