| 1999-07-02 ago | skip_proof feature 'sorry' (for quick_and_dirty mode only); | file | diff | annotate |
| 1999-06-05 ago | renamed object_logic.ML to Isar/auto_bind.ML and tuned this module; | file | diff | annotate |
| 1999-06-04 ago | added calculation.ML; | file | diff | annotate |
| 1999-05-15 ago | tuned; | file | diff | annotate |
| 1999-04-30 ago | added Isar/comment.ML; | file | diff | annotate |
| 1999-03-11 ago | moved Thy/session.ML to Isar/session.ML; | file | diff | annotate |
| 1999-02-05 ago | tuned; | file | diff | annotate |
| 1998-11-24 ago | added isar.ML; | file | diff | annotate |
| 1998-11-16 ago | structure PureIsar; | file | diff | annotate |
| 1998-11-09 ago | Isar -- Intelligible Semi-Automated Reasoning for Isabelle. | file | diff | annotate |