| 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 |
| Sun, 24 Aug 2008 17:23:42 +0200 | wenzelm | untabify: silently turn tab into space if column information is unavailable; | changeset | files |
| Sun, 24 Aug 2008 14:42:26 +0200 | haftmann | corrected cache handling for class operations | changeset | files |