From: Helmut on
documentation http://tecomp.sourceforge.net
download http://www.sourceforge.net/projects/tecomp

== New features ==

- inherited contracts implemented (effective classes can inherit
the pre- and postconditions from its abstract/deferred parent).

- assertion monitoring can be set for specific classes
individually

- ABSTRACT_SEQUENCE introduced and used as an ancestor of SPECIAL

- Precursor construct implemented

- Monitoring of supplier preconditions possible:

> This feature is important if well tested and proven libraries
are used. In that case, assertion monitoring is normally
switched off for the library. But if a class using that library
is in a cluster with monitoring on (i.e. assertions(all)), then
preconditions of called routines of the library are still
checked.

== Bugfixes ==

- Wrong line numbers were printed if unqualified calls are not
unique because of replication.

- Crash, if a replicated feature has been redeclared in the current
class.