Re: Basic OCaml stuff needed
On Thu, Jul 29, 2004 at 04:29:12PM +0200, Claudio Sacerdoti Coen wrote:
> > > What about renaming coq 8.0pl1 to 8.0.1 ? This would be consistent
> > > with the rest of the versions in the changelog too.
> >
> > Ok. You're right the version number 8.0pl1 is a bit odd. I renamed it to
> > 8.0.1 in the svn. Just tell me if you have any other comment before
> > uploading coq.
>
> Maybe this was not a good idea. I just read a mail from Hugo that explained
> the choice for 8.0pl1 (1. to stress that this is just a port to ocaml-3.08;
> 2. to stress that this version is fully compatible with the Coq'Art book).
> He explicitly says that this is *not* version 8.0.1. Thus we will probably
> have 8.0.1 as the next official version.
>
> For more infos, ask directly to him (I will be offline for several days).
Bah; this is not to late, i didn't upload yet; but this sounds a bit
ridicoulous for me. I may call it 8.0.0.1 then or something such, but 8.0pl1
is probably greater than 8.0.1 anyway, so ...
Samuel, could you ask Hugo about this and CC me ?
Friendly,
Sven Luther
Reply to: