I certainly care about it. Jedit is great for browsing existing theory developments, but there is no support for actually doing proofs. Larry
On 17 Apr 2012, at 16:56, Makarius wrote: > > 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. > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
