On 29/11/2018 06.12, Erik Martin-Dorel wrote: > Clément and Pierre, what do you think about this?
Sounds good to me
signature.asc
Description: OpenPGP digital signature
_______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
