| Tue, 27 Jan 2009 19:41:44 +0100 | wenzelm | eliminated Prover.start -- part of main constructor; | changeset | files |
| Tue, 27 Jan 2009 19:27:59 +0100 | wenzelm | tuned whitespace; | changeset | files |
| 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 |
| Tue, 27 Jan 2009 18:15:11 +0100 | wenzelm | misc tuning; | changeset | files |