New release of HOL-CASL parser

[Till Mossakowski <till@Informatik.Uni-Bremen.DE>]

Dear friends,

the new release of the HOL-CASL parser has just been installed.
It is available both as a web-interface and as a standalone version 
(the latter for Sparc-solaris and Linux).

The HOL-CASL parser supports following features:

- Parsing of full CASL syntax (including libraries)
- Static analysis now also covers structured specs (new!)
  (but excluding symbol maps)
- Mixfix analysis
- Formatting of specifications and libraries in LaTeX  (new!)

It is available under

http://www.informatik.uni-bremen.de/~cofi/CASL/parser/parser.html

Greetings,
Till

--------------------------------------------------------------------------
Till Mossakowski                 Phone +49-421-218-2935,
Dept. of Computer Science        Fax +49-421-218-4322
University of Bremen             till@informatik.uni-bremen.de           
P.O.Box 330440, D-28334 Bremen   http://www.informatik.uni-bremen.de/~till
--------------------------------------------------------------------------