| Mon, 12 Jan 2009 20:49:37 +0100 | immler | implemented IsabelleSideKickParser.complete | changeset | files |
| Sun, 11 Jan 2009 22:02:27 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 11 Jan 2009 21:52:40 +0100 | wenzelm | unified with dynamic version; | changeset | files |
| Sun, 11 Jan 2009 21:52:22 +0100 | wenzelm | some more token kinds, based on classification in | changeset | files |
| Sun, 11 Jan 2009 21:48:58 +0100 | wenzelm | decl_info: cover both commands and keywords, with kind; | changeset | files |
| Sun, 11 Jan 2009 21:48:12 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 11 Jan 2009 19:33:53 +0100 | wenzelm | failsafe mkdir; | changeset | files |
| Sun, 11 Jan 2009 19:32:26 +0100 | wenzelm | maintain Isabelle properties via object Isabelle.Property with apply/update methods; | changeset | files |