[isabelle-dev] [PG-devel] 4.1RC2 available (fwd)

[Makarius]

---------- Forwarded message ----------
Date: Wed, 22 Jun 2011 11:39:39 +0100
From: David Aspinall <David.Aspinall at ed.ac.uk>
To: proofgeneral-devel <ProofGeneral-devel at inf.ed.ac.uk>
Subject: [PG-devel] 4.1RC2 available

Dear All,

I've made a second release candidate for PG 4.1 which should fix recent Coq parsing issues.  Could I persuade people to try it out, to iron out any final problems before release?  See main download page, http://proofgeneral.inf.ed.ac.uk/download.

Thanks a lot,

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