[isabelle-dev] Towards the next release
makarius at sketis.net
Fri Nov 30 16:28:59 CET 2012
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.
More information about the isabelle-dev