| Sat, 30 Dec 2006 12:33:29 +0100 | wenzelm | inform_file_processed: Toplevel.init_empty; | changeset | files |
| Sat, 30 Dec 2006 12:33:28 +0100 | wenzelm | refined notion of empty toplevel, admits undo of 'end'; | changeset | files |
| Sat, 30 Dec 2006 12:33:27 +0100 | wenzelm | Toplevel.init_state; | changeset | files |
| Sat, 30 Dec 2006 12:33:26 +0100 | wenzelm | removed obsolete 'clear_undos'; | changeset | files |
| Sat, 30 Dec 2006 12:33:25 +0100 | wenzelm | removed obsolete clear_undos_theory; | changeset | files |
| Fri, 29 Dec 2006 20:35:03 +0100 | haftmann | major restructurings | changeset | files |
| Fri, 29 Dec 2006 20:35:02 +0100 | haftmann | cleanup | changeset | files |