| Sun, 12 Aug 2012 19:08:27 +0200 | wenzelm | always show some timing information, to reduce the need for explicit -v; | changeset | files |
| Sun, 12 Aug 2012 17:39:06 +0200 | wenzelm | some information for central Isabelle repository configuration; | changeset | files |
| Sun, 12 Aug 2012 01:25:43 +0200 | krauss | reduced settings patching | changeset | files |