The old things are now wrapped-up in the new way as Isabelle components:
http://www4.in.tum.de/~wenzelm/test/website/dist/contrib/ProofGeneral-3.7.1.1.tar.gz
http://www4.in.tum.de/~wenzelm/test/website/dist/contrib/ProofGeneral-4.1.tar.gz
This means the slightly odd "choosefrom" heuristics in
Isabelle/etc/settings can be discontinued eventually. People hooked on the
repository need to init one of the above components in the usual way in
their etc/settings or etc/components
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
