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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev