Thanks Stefan for all this cleanup! P Le dim. 16 déc. 2018 à 04:56, Clément Pit-Claudel <clement....@gmail.com> a écrit :
> On 15/12/2018 20.06, Stefan Monnier wrote: > > Hopefully, the one below will go through better. > > Indeed, this one applied smoothly. Thanks! > > _______________________________________________ > ProofGeneral-devel mailing list > ProofGeneral-devel@inf.ed.ac.uk > http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
_______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
