From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id AAA02930 for caml-redistribution; Fri, 16 Jul 1999 00:17:56 +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 SAA01458 for ; Thu, 15 Jul 1999 18:52:21 +0200 (MET DST) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id SAA12609 for ; Thu, 15 Jul 1999 18:38:33 +0200 (MET DST) Received: from pc87.lri.fr (pc87.lri.fr [129.175.8.106]) by lri.lri.fr (8.9.1a/8.9.1) with ESMTP id SAA00895 for ; Thu, 15 Jul 1999 18:38:32 +0200 (MET DST) Received: by pc87.lri.fr (8.9.3/feuille) id RAA02434 ; Thu, 15 Jul 1999 17:32:45 +0200 X-Authentication-Warning: pc87: filliatr set sender to filliatr@pc87 using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <14221.65249.465332.859445@pc87> Date: Thu, 15 Jul 1999 17:31:45 +0200 (MEST) To: caml-list@inria.fr Subject: bibtex2html release 1.0 X-Mailer: VM 6.49 under Emacs 20.3.1 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) Content-Transfer-Encoding: 8bit Sender: weis Hello, This is our pleasure to announce the release 1.0 of bibtex2html. It is the collection of two tools to produce HTML bibliographies from BibTeX files : o bibtex2html, which translates BibTeX files to HTML; o bib2bib, which extracts BibTeX entries from BibTeX files. Documentation, source and binaries are available here: http://www.lri.fr/~filliatr/bibtex2html/ -- Jean-Christophe FILLIÂTRE and Claude MARCHÉ.