> Anyway, who is maintaining Isabelle ProofGeneral now? The repository > version does not work with Emacs 23 for several months already. It seems > that nobody cares about it anymore. > > For the release, I will package up official ProofGeneral-4.1 as last time. > It is then up to its users to test it and report problems in the usual > testing stage before the release.
I guess most of the PG users work on the release version, and would be quite annoyed if the next release contains a buggy PG. Peter _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
