Le 29/02/2012 11:23, Pierre Boutillier a écrit : > ssreflect and aactactics are OK > > ulex does NOT depend anymore on camlp5 since v1.0: > CHANGES: > 1.0 > * Update to the new Camlp4 and to ocamlbuild (release for OCaml 3.10 > only), by Nicolas Pouillard. Err... we were talking about ulex0.8, weren't we? -- Stéphane