| Tue, 02 May 2006 20:42:42 +0200 | wenzelm | extend/remove_syntax: observe inout flag for translations, too; | changeset | files |
| Tue, 02 May 2006 20:42:41 +0200 | wenzelm | handle exception SYS_ERROR; | changeset | files |
| Tue, 02 May 2006 20:42:40 +0200 | wenzelm | abbreviation: observe local syntax mode; | changeset | files |
| Tue, 02 May 2006 20:42:39 +0200 | wenzelm | added set_syntax_mode, restore_syntax_mode; | changeset | files |
| Tue, 02 May 2006 20:42:37 +0200 | wenzelm | sys_error: exception SYS_ERROR; | changeset | files |
| Tue, 02 May 2006 20:42:37 +0200 | wenzelm | maintain implicit syntax mode; | changeset | files |