On Fri, 30 Nov 2012, Lawrence Paulson wrote:
I think we should still include hints on how to use PG but without the
same level of support as in the past. Obviously, if a clamour arose for
a bundled PG version, we could deal with that at the time.
Whatever happens, it needs to be clear reasonably early before the actual
release, and afterwards we cannot change it until the next release.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
