CATS 0.73 released

[Till Mossakowski <till@tzi.de>]

Dear friends,

after the many bad news of the last days, here is
some little piece of good news:

CATS 0.73 has been released, with

- CASL 1.0.1 syntax
- All error messages with line numbers
- Output in XML now possible

See
http://www.informatik.uni-bremen.de/cofi/CASL/CATS/download.html

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