CASL tool set (CATS)


List of known problems

General: The error messages sometimes do not appear in the correct order. If you do not understand an error, try to delete parts of the specifications, using %( and %) for commenting out large parts. It makes sense to check just the library imports (from ... get ...) first. Sorry, this problem will be corrected soon.

cofi@informatik.uni-bremen.de