| Wed, 03 Nov 2010 13:54:23 +0100 | wenzelm | explicit warning about opaque signature matching -- saves extra paragraph in implementation manual; | changeset | files |
| 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 |