On Mon, Sep 30, 2002 at 01:57:35PM +0200, Maxence Guesdon wrote: > > I can do this. However, I don't know what Maxence intends to > > do with versionning. > > All tools and libs should be assigned the same version number (here 1.1). > I did that but forgot to change the changelog (!) for this. So all the *_message.ml files (if i'm correct) do contain the same version number now? Cheers, -- Jérôme Marant