P.S.: New release of parser

[kol@informatik.uni-bremen.de, till@informatik.uni-bremen.de]

Dear friends,

> we have finished a new release of the Bremen parser and static checker.
> It supports the following:
> 
>     Parsing of full CASL, including libraries
>     Static analysis of basic specifications
>     Mixfix parsing of basic specifications
>... 
> The tool will be available shortly under
> 
> http://www.informatik.uni-bremen.de/~cofi/CASL/parser/parser.html

The tool *is* now available via a web interface under the above URL.
A downloadable version (for sun-sparc-solaris and Linux) will
be installed in the near future.

Greetings,
Kolyang and Till