[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Daniel de Rauglaudre <daniel.de_rauglaudre@i...> |
| Subject: | Re: [Caml-list] camlp4..camlp5 |
Hi,
On Wed, Jul 11, 2007 at 08:45:30AM +0200, Stefano Zacchiroli wrote:
> Well, I think the -name argument is already a useful step. I just asked
> for a suggested name to avoid a plethora of unknown different names. In
> Debian, JFYI, I went for "camlp5" as it seems to me it's a name you like
> and that it's welcome by the community.
Ok, I made a release (4.04) of camlp5. Download at:
http://pauillac.inria.fr/~ddr/camlp5/
No fundamental changes, except renamings, in all files.
--
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/