| Wed, 11 Oct 2006 22:55:19 +0200 | wenzelm | is_sid: disallow 'begin' keyword as identifier; | changeset | files |
| Wed, 11 Oct 2006 22:55:18 +0200 | wenzelm | exit: pass interactive flag, toplevel result convention; | changeset | files |
| Wed, 11 Oct 2006 22:55:17 +0200 | wenzelm | add_defs: declare terms; | changeset | files |
| Wed, 11 Oct 2006 22:55:16 +0200 | wenzelm | 'context': demand 'begin', support local theory; | changeset | files |
| Wed, 11 Oct 2006 22:55:15 +0200 | wenzelm | removed 'undo_end', recovered 'cannot_undo'; | changeset | files |
| Wed, 11 Oct 2006 22:55:14 +0200 | wenzelm | tuned signature; | changeset | files |