| Tue, 27 Jan 2009 18:58:16 +0100 | wenzelm | added Isabelle.default_logic; | changeset | files |
| Tue, 27 Jan 2009 18:53:12 +0100 | wenzelm | beginnings of global document state; | changeset | files |
| Tue, 27 Jan 2009 18:16:24 +0100 | wenzelm | state_results: separate buffer for messages from running command; | changeset | files |