| Sat, 14 Jan 2006 17:15:24 +0100 | wenzelm | * ML/Isar: simplified treatment of user-level errors; | changeset | files |
| Sat, 14 Jan 2006 17:14:18 +0100 | wenzelm | sane ERROR vs. TOPLEVEL_ERROR handling; | changeset | files |
| Sat, 14 Jan 2006 17:14:17 +0100 | wenzelm | added Isar.toplevel; | changeset | files |
| Sat, 14 Jan 2006 17:14:16 +0100 | wenzelm | Output.error_msg; | changeset | files |
| Sat, 14 Jan 2006 17:14:15 +0100 | wenzelm | removed special ERROR handling stuff (transform_error etc.); | changeset | files |
| Sat, 14 Jan 2006 17:14:14 +0100 | wenzelm | added exception ERROR, error, cat_error, sys_error, assert, deny, assert_all; | changeset | files |
| Sat, 14 Jan 2006 17:14:13 +0100 | wenzelm | Output.debug; | changeset | files |
| Sat, 14 Jan 2006 17:14:11 +0100 | wenzelm | generated code: raise Match instead of ERROR; | changeset | files |