[isabelle-dev] PG 4.1 release candidate

Makarius makarius at sketis.net
Thu Jun 9 15:17:23 CEST 2011


FYI.

I hear that "this Friday" is still correct.  Last chance to see ...


 	Makarius

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

http://tinyurl.com/42dcl4m

I think there is only #406 that should be resolved.  I will try to report the 
Emacs bugs upstream.

Thanks!

  - David

_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel at inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.


More information about the isabelle-dev mailing list