CZT Rules Release Notes
Release 1.1 – unreleased
| Type | Changes | By |
|---|---|---|
| Fix the proof tree so that it displays the rule or oracle name as a tooltip. It used to (incorrectly) say "No rule has been applied" even when a rule has been applied. | Petra |
Release 1.0 – July 2007
No changes in this release.