| Tue, 29 Apr 2014 14:04:10 +0200 | wenzelm | ignore malformed file names outright, e.g. .class files with dollar; | changeset | files |
| Tue, 29 Apr 2014 13:32:13 +0200 | wenzelm | more systematic Isabelle output, like in classic Isabelle/ML (without markup); | changeset | files |