Release July 1996: 2.2

This release is able to check the termination of edge-additive rewrite systems (XGRS). Each stratum is investigated if it fulfils the edge-addition termination criterion, and an information is printed to the console.

• Nested strata are allowed in rule tests and transformations.
• REUSE range declarations for nested strata.
• Choice-strata are allowed, combining rules in choice form. The evaluation of a stratum is stopped when a redex is found in the manipulated graph. Rules fail if they do not detect a redex.
• Some bugs in the handling of AST data have been removed.
• All keywords are available in lower case form.