Newsgroups: fa.caml
From: Damien Doligez <damien.doli...@inria.fr>
Date: Tue, 19 Feb 2008 16:00:49 UTC
Local: Tues, Feb 19 2008 11:00 am
Subject: [Caml-list] 3.10.2 release candidate 1
Dear OCaml users,
We have prepared a release candidate for OCaml 3.10.2. It is Please download it, try it, and report success or failure to me: See if you can help fill the holes in -- Damien Objective Caml 3.10.2+rc1: Bug fixes: _______________________________________________ You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
| ||||||||||||||
| |||||||||||||
Newsgroups: fa.caml
From: Daniel de Rauglaudre <daniel.de_rauglau...@inria.fr>
Date: Wed, 20 Feb 2008 11:29:47 UTC
Local: Wed, Feb 20 2008 6:29 am
Subject: [Caml-list] Camlp5 release 5.08
Hello everybody,
New release of Camlp5: 5.08 Main changes: Sources and documentation available at: Sorry for those who wrote me about some bugs and improvements in Camlp5. -- _______________________________________________ You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
| ||||||||||||||
| |||||||||||||
Newsgroups: fa.caml
From: "David Allsopp" <dra-n...@metastack.com>
Date: Tue, 26 Feb 2008 20:00:54 UTC
Local: Tues, Feb 26 2008 3:00 pm
Subject: RE: [Caml-list] 3.10.2 release candidate 1
Damien et al,
OCaml 3.10.2+rc1 seems to work on Windows XP SP2/Cygwin+MinGW (which deals findlib 1.2.1 ocamlODBC 2.15 Calendar 2.0.1 ExtLib 1.5.1 HTH, David You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
| ||||||||||||||
| Google Groups - Google Home - Terms of Service - Privacy Policy |
| ©2009 Google |