| Thu, 04 Jan 2007 00:12:30 +0100 | webertj | constants are unfolded, universal quantifiers are stripped, some minor changes | changeset | files |
| Wed, 03 Jan 2007 22:59:30 +0100 | aspinall | Fix error reporting in Emacs to also match Isar command failure exactly. | changeset | files |
| Wed, 03 Jan 2007 21:11:42 +0100 | aspinall | Use Isar toplevel print_exn_fn for generating error responses instead of Output.error_msg. | changeset | files |
| Wed, 03 Jan 2007 21:09:13 +0100 | aspinall | Expose command failure recovery code for top level. | changeset | files |