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.
> Please go ahead P.C.! Thanks - D.
> ProofGeneral-devel mailing list
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
ProofGeneral-devel mailing list