[CoFI] New release of CASL v1.0 Summary installed

[Peter Mosses <mosses@csl.sri.com>]

Latest News from the CoFI web pages:

22 July

     New release of CASL Summary version 1.0 installed

          http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/

          ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary/

     [Sorry for the delays: most of the changes are to the details of the
     concrete syntax, and they took quite some time to settle down...]

     A revised version of the Summary-Changes document has been installed
     too, listing all the changes that have been made to the CASL Summary
     since the initial release in October 1998:

          http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/

          ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/

22 July

     A new version of a Methodology Note has been installed:

        o Note M-6. Markus Roggenbach and Till Mossakowski.
          Basic datatypes in CASL.
          Version 0.2, July 1999.

22 July

     A preliminary release of the revised CASL TEX package was announced
on the
     Tools mailing list in May. The long-promised full release is still
     pending, but should be ready by the end of August (1999!).

22 July

     The editor of the CoFI web pages is about to move back to Europe, and
     will shortly resume reading e-mail sent to his address in Denmark:
     mailto:pdmosses@brics.dk. (Mail sent to mosses@csl.sri.com will be
     automatically forwarded, for a limited period.)

-- Peter Mosses
_________________________________________________________________
=========   Peter D. MOSSES              Associate Professor, PhD
==== ====   BRICS                        mailto:pdmosses@brics.dk
=========   Dept. of Computer Science    == pdmosses@daimi.aau.dk
==== ====   University of Aarhus         http://www.brics.dk/~pdm
==== ====   Ny Munkegade, bldg. 540      Telephone: +45 8942 3364 
==== ====   DK-8000 Aarhus C, Denmark    Telefax:   +45 8942 3255