[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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.



Reply to: