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 |
Wed, 11 Oct 2006 20:35:54 +0200 | haftmann | minor refinements in serialization | changeset | files |