caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* Camlp4 2.03
@ 1999-11-20 11:21 Daniel de Rauglaudre
  1999-11-21 12:15 ` Benoit de Boursetty
  0 siblings, 1 reply; 2+ messages in thread
From: Daniel de Rauglaudre @ 1999-11-20 11:21 UTC (permalink / raw)
  To: caml-list, coqdev

Camlp4 2.03 released. Compatible with Ocaml 2.03.

Info in downloading address at:
      http://caml.inria.fr/camlp4/

-- 
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/




^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: Camlp4 2.03
  1999-11-20 11:21 Camlp4 2.03 Daniel de Rauglaudre
@ 1999-11-21 12:15 ` Benoit de Boursetty
  0 siblings, 0 replies; 2+ messages in thread
From: Benoit de Boursetty @ 1999-11-21 12:15 UTC (permalink / raw)
  To: caml-list

On Sat, 20 Nov 1999, Daniel de Rauglaudre wrote:

> Camlp4 2.03 released. Compatible with Ocaml 2.03.

Because I am writing a small program with my syntax with French keywords,
I have also upgraded my parser / prettyprinter for camlp4 & O'CaML 2.03.
Since this was meant to be only an illustration at the beginning, I don't
plan to release it online soon, but interested people are invited to email
me.

--

Comme je suis en train d'écrire un petit programme avec ma syntaxe en
français, j'ai aussi mis à jour le parseur et l'imprimeur pour cette
syntaxe. Comme au début c'était juste une illustration, je n'ai pas
l'intention de le mettre sur internet sous peu, mais les personnes
éventuellement intéressées sont invitées à m'envoyer un courrier
électronique.

Benoît de Boursetty.




^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~1999-11-21 12:26 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-11-20 11:21 Camlp4 2.03 Daniel de Rauglaudre
1999-11-21 12:15 ` Benoit de Boursetty

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).