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

Makarius 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

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

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

More information about the isabelle-dev mailing list