From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA08162 for caml-red; Thu, 27 Jul 2000 23:27:46 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA05147 for ; Thu, 27 Jul 2000 19:53:04 +0200 (MET DST) Received: from csla.csl.sri.com (csla.csl.sri.com [192.12.33.2]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e6RHr2L20293 for ; Thu, 27 Jul 2000 19:53:03 +0200 (MET DST) Received: from cylinder.csl.sri.com (IDENT:root@cylinder.csl.sri.com [130.107.15.112]) by csla.csl.sri.com (8.9.1/8.9.1) with ESMTP id KAA06188; Thu, 27 Jul 2000 10:53:00 -0700 (PDT) Received: (from filliatr@localhost) by cylinder.csl.sri.com (8.9.3/8.8.7) id KAA12910; Thu, 27 Jul 2000 10:52:59 -0700 X-Authentication-Warning: cylinder.csl.sri.com: filliatr set sender to filliatr@cylinder.csl.sri.com using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <14720.30459.450541.219043@cylinder.csl.sri.com> Date: Thu, 27 Jul 2000 10:52:59 -0700 (PDT) To: Haruo Hosoya Cc: caml-list@inria.fr Subject: Re: bibtex parser? In-Reply-To: <20000726144841N.hahosoya@saul.cis.upenn.edu> References: <20000726144841N.hahosoya@saul.cis.upenn.edu> X-Mailer: VM 6.62 under Emacs 20.7.1 Reply-To: filliatr@csl.sri.com (Jean-Christophe Filliatre) Sender: weis@pauillac.inria.fr In his message of Wed July 26, 2000, Haruo Hosoya writes: > > Has anyone implemented a library of bibtex parser in Caml? I have. This is part of the code of bibtex2html, which is distributed under the GPL license. It is available at: http://www.lri.fr/~filliatr/bibtex2html/index.en.html -- Jean-Christophe Filliatre Computer Science Laboratory Phone (650) 859-5173 SRI International FAX (650) 859-2844 333 Ravenswood Ave. email filliatr@csl.sri.com Menlo Park, CA 94025, USA web http://www.csl.sri.com/~filliatr