[isabelle-dev] [PG-devel] 4.1RC2 available (fwd)
makarius at sketis.net
Wed Jun 22 19:41:51 CEST 2011
---------- 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
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,
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