Version 2.3 (September 1995)

$next$ $up$ $previous$ $contents$
Next: Version 2.2 (August 1995) Up: Release Notes Previous: Version 2.3.1 (November 1995) Contents

A new rewrite module has been added. Contextual simplification is now more powerful than it was before.

Harald Ganzinger 2002-12-04