Dear Erik,

I replied off-list, but see you have subscribed here too.

For other developers: this welcome improvement has been added to PG CVS head now. Please feel free to send any more improvements/fixes for PG 4.0, which should at last be released this summer.

 - David

_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@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.

Reply via email to