* better handling of Enum-Declarations * fixed a bug with @pre for assertion-style "java" * code-cleanup around the AssertionStyle-Enum * added missing -asertionStyle -parameter to cmdln--version * removed some old debug-output
Log in to post a comment.
