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

Bug#467563: camlp5 strict mode?

Pierre Boutillier writes:

   Why do we keep a camlp5 in transitionnal mode ?
I assumed somebody needs transitional mode. Supporting only
strict mode is of course much simpler. 

   For packages, Coq and ledit support strict mode. The only remaining  
   question is about ulex.
How about ssreflect?



Reply to: