Hello,
thanks for the precious work.
I'd just like to re-attract attention to bug 339, it's a real issue since also
the Coq 8.3 release is imminent.
Kind regards,
--
Paolo Herms
PhD Student - CEA-LIST Software Safety Lab. / INRIA ProVal Project
Paris, France
On Monday 04 October 2010 18:19:12 Da
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
two years.
In the hope of nipping the last few prob