| Sun, 11 Sep 2011 21:34:23 +0200 | wenzelm | more CONTRIBUTORS; | changeset | files |
| Sun, 11 Sep 2011 20:19:20 +0200 | wenzelm | persistent ISABELLE_INTERFACE_CHOICE; | changeset | files |
| Sun, 11 Sep 2011 19:52:09 +0200 | wenzelm | explicit choice of interface; | changeset | files |
| Sun, 11 Sep 2011 17:30:01 +0200 | wenzelm | more orthogonal signature; | changeset | files |
| Sun, 11 Sep 2011 15:20:09 +0200 | wenzelm | updates for release; | changeset | files |
| Sun, 11 Sep 2011 14:58:52 +0200 | wenzelm | misc tuning and clarification (NB: settings are already local for named snapshots/releases); | changeset | files |