| Tue, 20 Jan 2009 22:55:45 +0100 | wenzelm | Command: added name field and toString; | changeset | files |
| Tue, 20 Jan 2009 22:30:54 +0100 | wenzelm | misc tuning -- de-camelization; | changeset | files |
| Tue, 20 Jan 2009 22:29:56 +0100 | wenzelm | case class Changed; | changeset | files |
| Tue, 20 Jan 2009 22:29:41 +0100 | wenzelm | Token: plain val kind; | changeset | files |
| Tue, 20 Jan 2009 20:32:04 +0100 | wenzelm | Command: turned content into plain val; | changeset | files |
| Tue, 20 Jan 2009 20:05:21 +0100 | wenzelm | use Symbol.Interpretation from IsabelleSystem instance; | changeset | files |