| Thu, 21 Sep 2017 10:58:34 +0200 | wenzelm | more on indentation; | changeset | files |
| Tue, 19 Sep 2017 14:26:25 +0200 | wenzelm | clarified "purge": retain .aux files etc. before "isabelle document", to allow 'document_files' providing such generated files (see also c3ea910b3581, 38ce936acb99); | changeset | files |