Ralf Treinen wrote: > > George proposed camlp4. I think this is complex enough to merit a > package of its own. Besides I don't know camlp4 and would prefer > if someone who uses it regularly takes it. BTW camlp4 is needed for coq. Friendly, JF