From: boos@dpt-info.u-strasbg.fr
To: caml-list@pauillac.inria.fr
Subject: Where is the 'str' library ?
Date: Mon, 7 Nov 94 19:18:27 +0100 [thread overview]
Message-ID: <9411071818.AA24686@dpt-info.u-strasbg.fr> (raw)
Bonjour a` tous les camelide's !
Je reviens d'une visite au site WWW de caml (http://pauillac.inria.fr/),
(superbement re'alisee', soit dit en passant; mais c'est la` une constante...)
et entre autres de'couvertes, j'ai pu me rendre compte que la librairie libstr
annonce'e comme contrib de Caml Light 0.6 (cf. fichier CHANGES) existe bel
et bien, et qu'en plus elle propose des fonctionnalite's tre`s inte'ressantes.
Cela dit, ou` diantre se procurer cette librairie ?
Elle n'est dans aucune des distributions unix, et je pense avoir suffisament
bien cherche' par moi-me^me pour vous poser la question (la re'ponse peut en
inte'resser plus d'un).
Merci d'avance.
--------
Hello world !
Just coming back from a tour on the Caml WWW site (see address above), I
haven't pointed out from where the 'libstr' library on strings could be
down-loaded.
So I'm wondering if anybody here knows the answer.
Thanks.
Christian Boos.
reply other threads:[~1994-11-08 18:28 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=9411071818.AA24686@dpt-info.u-strasbg.fr \
--to=boos@dpt-info.u-strasbg.fr \
--cc=caml-list@pauillac.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox