New release of Bremen CASL parser and checker

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

Dear friends,

release 0.4 of the Bremen CASL parser and checker is now available.
It can be obtained under

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

What is new:

- literal syntax for numbers, strings and list is supported
- the specification dependency graph can be output
  for display with davinci or dot 
- the LaTeX output has been improved
- the environment variable CASL_LIB can be set to
  a place where libraries are stored; this allows
  to use user-defined libraries in a more flexible way
- The rather large specification of characters
  now goes through without problems
- The global environment can be output in binary ATerm
  format, which is considerably more concise

One hint: you can use the -noenv option to speed up the
tool in case you do not need the global environment as ATerms.

The basic datatypes v0.4 can be parsed and checked with this tool.

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