| Wed, 03 Nov 2010 11:33:51 +0100 | wenzelm | discontinued obsolete function sys_error and exception SYS_ERROR; | changeset | files |
| Wed, 03 Nov 2010 11:11:49 +0100 | wenzelm | replaced ancient sys_error by raise Fail, assuming that the latter is not handled specifically by the environment; | changeset | files |
| Wed, 03 Nov 2010 11:06:22 +0100 | wenzelm | replaced ancient sys_error by raise Fail, assuming that the latter is not handled specifically by the environment; | changeset | files |
| Wed, 03 Nov 2010 10:51:40 +0100 | wenzelm | try_param_tac: plain user error appears more appropriate; | changeset | files |