| Tue, 27 Jan 2009 22:16:29 +0100 | wenzelm | eliminated Command.Status.REMOVE/REMOVED; | changeset | files |
| Tue, 27 Jan 2009 22:14:40 +0100 | wenzelm | eliminated Command.Status.REMOVE/REMOVED; | changeset | files |
| Tue, 27 Jan 2009 22:13:56 +0100 | wenzelm | use plain toInt; | changeset | files |
| Tue, 27 Jan 2009 19:52:56 +0100 | wenzelm | ProofDocument: pass is_command_keyword directly, not via full-blown Prover object; | changeset | files |
| 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 |