On 03/06/11 12:27, Pierre Courtieu wrote:
OK for me. Thanks for taking the time to submit this. If there is no objection I will commit this. P.C.
Please go ahead P.C.! Thanks - D. _______________________________________________ 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.