On Tue, Mar 09, 2004 at 12:55:02PM +0100, Stefano Zacchiroli wrote: > On Mon, Mar 08, 2004 at 02:29:35PM +0100, Stefano Zacchiroli wrote: > > I think we should better have a naming convention for camlp4 syntax > > estension instead of picking randon names. What about restating our > > current libraries naming convention into something like lib<foo>-camlp4? > > No other comments? Should I assume that this proposal is ok and write > the corresponding policy paragraph?
Sounds fine to me. BTW, is the policy accesible by the new project homepage ? Friendly, Sven Luther

