| Tue, 29 Apr 2014 15:35:40 +0200 | wenzelm | updated mkroot; | changeset | files |
| Tue, 29 Apr 2014 15:24:41 +0200 | wenzelm | basic support for Mercurial command line tools; | changeset | files |
| Tue, 29 Apr 2014 14:50:40 +0200 | wenzelm | clarified; | changeset | files |
| 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 |
| Tue, 29 Apr 2014 13:29:05 +0200 | wenzelm | systematic replacement of 'files' by 'document_files'; | changeset | files |