[isabelle-dev] Towards the next release

Makarius 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.


 	Makarius



More information about the isabelle-dev mailing list