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 |
Wed, 30 Dec 2009 18:22:10 +0100 | wenzelm | removed experimental history panel; | changeset | files |
Wed, 30 Dec 2009 17:48:58 +0100 | wenzelm | more explicit modeling of Command and Command_State as Session.Entity; | changeset | files |
Wed, 30 Dec 2009 13:21:46 +0100 | wenzelm | updated; | changeset | files |