Re: Basic OCaml stuff needed

[Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>]

> > 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).

 					Cheers,
					C.S.C.

-- 
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: sacerdot@cs.unibo.it
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------