Done. P.C.
2011/6/3 David Aspinall <david.aspin...@ed.ac.uk>: > 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. > > _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel