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 |