Next:
Version 2.2 (August 1995)
Up:
Release Notes
Previous:
Version 2.3.1 (November 1995)
Contents
Version 2.3 (September 1995)
A new rewrite module has been added. Contextual simplification is now more powerful than it was before.
Harald Ganzinger 2002-12-04