| 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 |
| Wed, 03 Nov 2010 10:48:55 +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:20:37 +0100 | wenzelm | eliminated dead code; | changeset | files |
| Wed, 03 Nov 2010 10:18:05 +0100 | wenzelm | more conventional exceptions for abstract syntax operations -- eliminated ancient SYS_ERROR; | changeset | files |
| Wed, 03 Nov 2010 08:29:32 +0100 | nipkow | removed assumption | changeset | files |
| Tue, 02 Nov 2010 21:59:21 +0100 | wenzelm | more on naming tactics; | changeset | files |
| Tue, 02 Nov 2010 21:24:07 +0100 | wenzelm | merged | changeset | files |