Dear PG users and developers,
With help from a few special people over the past few months, we have
ironed out many issues with the CVS version of Proof General and I think
it is good enough to make into an official release --- the first in over
In the hope of nipping the last few problems, I'd be grateful for users
and developers to try out the current pre-release, through *this week*:
and report any problems in the usual place
I'm aiming to make the release a week from today.
Many thanks in advance,
ProofGeneral mailing list
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.