| 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 |
| Tue, 20 Jan 2009 18:23:40 +0100 | wenzelm | replaced java.util.Property by plain association list; | changeset | files |
| Tue, 20 Jan 2009 18:20:50 +0100 | wenzelm | use IsabelleProcess.parse_message (with global Isabelle.system instance); | changeset | files |
| Tue, 20 Jan 2009 18:20:19 +0100 | wenzelm | use Symbol.Interpretation from IsabelleSystem instance; | changeset | files |
| Tue, 20 Jan 2009 13:56:55 +0100 | wenzelm | tuned handling of accumulated results; | changeset | files |