| Sun, 24 Aug 2008 21:15:48 +0200 | wenzelm | misc reorganization; | changeset | files |
| Sun, 24 Aug 2008 21:15:46 +0200 | wenzelm | Kind: added is_control; | changeset | files |
| Sun, 24 Aug 2008 21:15:44 +0200 | wenzelm | get: allow null; | changeset | files |
| Sun, 24 Aug 2008 19:24:27 +0200 | wenzelm | misc tuning of names; | changeset | files |
| Sun, 24 Aug 2008 19:02:22 +0200 | wenzelm | rearranged source files; | changeset | files |
| Sun, 24 Aug 2008 18:57:43 +0200 | wenzelm | init_message: class markup in message body, not header; | changeset | files |
| Sun, 24 Aug 2008 18:11:20 +0200 | wenzelm | repackaged as isabelle.jedit; | changeset | files |