| Mon, 30 Dec 2013 12:58:13 +0100 | wenzelm | avoid hardwired /bin/bash (like canonical Isabelle shell scripts); | changeset | files |
| Mon, 30 Dec 2013 12:43:06 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Sun, 29 Dec 2013 23:21:14 +0100 | haftmann | simplified | changeset | files |