[isabelle-dev] Towards the next release

[Makarius]

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