| Fri, 25 Jul 2014 14:47:38 +0200 | wenzelm | proper volume name, such that background image is found in /Volumes/Isabelle/.background; | changeset | files |
| Fri, 25 Jul 2014 14:16:39 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 25 Jul 2014 14:15:02 +0200 | wenzelm | tuned message; | changeset | files |
| Fri, 25 Jul 2014 14:13:19 +0200 | wenzelm | setup for drag-and-drop DMG; | changeset | files |