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

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

Reply via email to