| Thu, 31 Dec 2009 00:38:15 +0100 | wenzelm | basic setup for synchronous / modal (!) prover startup; | changeset | files |
| Wed, 30 Dec 2009 21:57:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 30 Dec 2009 21:34:33 +0100 | wenzelm | register Proof_Document instances as session entities -- handle Markup.EDIT messages locally; | changeset | files |
| Wed, 30 Dec 2009 20:26:08 +0100 | wenzelm | tuned signature of isabelle.Position; | changeset | files |
| Wed, 30 Dec 2009 20:18:50 +0100 | wenzelm | maintain generic session entities -- cover commands, states, etc. (but not yet documents); | changeset | files |
| Wed, 30 Dec 2009 19:58:22 +0100 | wenzelm | unified Command and Command_State, eliminated separate Accumulator; | changeset | files |