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 [email protected] 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.
