Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Fri, 14 Jul 1995 17:50:53 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA255853424;
          Fri, 14 Jul 1995 08:50:24 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from irafs1.ira.uka.de ([129.13.10.100]) by leopard.cs.byu.edu 
          with SMTP (1.37.109.15/16.2) id AA255332942;
          Fri, 14 Jul 1995 08:42:22 -0600
Received: from ira.uka.de (actually i80s16) by irafs1 with SMTP (PP);
          Fri, 14 Jul 1995 16:41:39 +0200
X-Mailer: exmh version 1.5.3 12/28/94
To: info-hol@leopard.cs.byu.edu
Cc: Richard.Boulton@cl.cam.ac.uk, reetz@ira.uka.de, kropf@ira.uka.de, 
    schneide@ira.uka.de
Subject: new version 2.2 of the library "generator" is available
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Fri, 14 Jul 1995 16:38:52 +0200
From: reetz <reetz@ira.uka.de>
Message-Id: <"irafs1.ira.677:14.07.95.14.41.42"@ira.uka.de>

Dear all,
I'm glad to announce that the new version 2.2 of the library "generator"
for formalizing languages in HOL by a formal compiler generation tool is
now available. A technical report is included in the distrubution.

The distribution is available via the Hardware Verification Group
Software page in WWW:

http://goethe.ira.uka.de/hvg/software.html

or via anonymous ftp:

goethe.ira.uka.de in /pub/software/generator

For people interested in the technical report only, it is available via
anonymous ftp:

goethe.ira.uka.de in /pub/techreports/SFB-C2-3-95.ps.gz

hope this helps,
Ralf.


(*******************************************************************)
(*                                                                 *)
(*  Ralf Reetz                                                     *)
(*                                                                 *)
(*  University of Karlsruhe                                        *)
(*  Institut fuer Rechnerentwurf und Fehlertoleranz                *)
(*  76128 Karlsruhe, Zirkel 2, Postfach 6980, Germany              *)
(*                                                                 *)
(*  e-mail: reetz@informatik.uni-karlsruhe.de or reetz@ira.uka.de  *)
(*  WWW:    http://goethe.ira.uka.de/people/reetz/reetz.html       *)
(*  fax:    +49 721 370455                                         *)
(*  tel:    +49 721 6083771                                        *)
(*                                                                 *)
(*******************************************************************)