From: Michael Hicks <mwh@dsl.cis.upenn.edu>
To: Gerd.Stolpmann@darmstadt.netsurf.de
Cc: caml-list@inria.fr
Subject: Re: O'Caml link db goes online
Date: Mon, 15 Mar 1999 12:21:54 -0500 (EST) [thread overview]
Message-ID: <199903151721.MAA02042@codex.cis.upenn.edu> (raw)
In-Reply-To: <99031403224003.13459@schneemann> from "Gerd Stolpmann" at Mar 14, 99 02:58:25 am
> While the database has become more stable, the functionality is still
> incomplete: You can't search, for example. As the source code is
> in the camlcvs repository (camlcvs.inria.fr) you are invited to
> help me improving it.
It might be nice to set up a mailing list which broadcasts additions to the
database. Then we don't have to keep checking to see what's new there.
Perhaps the caml-list could be used for this, since people already broadcast
this sort of thing there.
Mike
--
Michael Hicks
Ph.D. Candidate, the University of Pennsylvania
http://www.cis.upenn.edu/~mwh mailto://mwh@dsl.cis.upenn.edu
"I worked with an individual who plugged his power strip back into itself
and for the life of him could not understand why his computer would not
turn on."
next prev parent reply other threads:[~1999-03-15 17:42 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-03-14 1:58 Gerd Stolpmann
1999-03-15 17:21 ` Michael Hicks [this message]
1999-03-17 23:27 ` Gerd Stolpmann
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=199903151721.MAA02042@codex.cis.upenn.edu \
--to=mwh@dsl.cis.upenn.edu \
--cc=Gerd.Stolpmann@darmstadt.netsurf.de \
--cc=caml-list@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;
as well as URLs for NNTP newsgroup(s).