[isabelle-dev] PG 4.1 release candidate
makarius at sketis.net
Thu Jun 9 15:17:23 CEST 2011
I hear that "this Friday" is still correct. Last chance to see ...
---------- Forwarded message ----------
Date: Wed, 01 Jun 2011 12:44:46 +0100
From: David Aspinall <David.Aspinall at ed.ac.uk>
To: ProofGeneral-devel at inf.ed.ac.uk
Subject: [PG-devel] PG 4.1 release candidate
Dear PG developers,
I'd like to consider today's devel release of PG the release candidate for
version 4.1 and make the release (at long last) by this Friday.
On the issues list
I think there is only #406 that should be resolved. I will try to report the
Emacs bugs upstream.
ProofGeneral-devel mailing list
ProofGeneral-devel at inf.ed.ac.uk
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
More information about the isabelle-dev