I don't expect to contribute anything else before the next release. There are little bits that I could add, but probably I should desist in the name of stability.
Larry _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev