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.

Reply via email to