Bug#467563: camlp5 strict mode?
Le 29/02/2012 10:03, Pierre Boutillier a écrit :
> I'm sorry but I do not see an answer to that question in the thread: Why
> do we keep a camlp5 in transitionnal mode ?
This is a good question that I've been thinking about.
> For packages, Coq and ledit support strict mode. The only remaining
> question is about ulex.
There are other reverse build-dependencies: matita, ssreflect,
geneweb... and maybe others (transitively). Someone has to test.