| Fri, 15 Feb 2019 07:11:09 +0000 | haftmann | more idiomatic style for local declarations in apply scripts | changeset | files |
| Fri, 15 Feb 2019 17:10:09 +0100 | wenzelm | clarified meta_digest: export_files is a directive for physical output from existing build database; | changeset | files |
| Fri, 15 Feb 2019 17:00:21 +0100 | wenzelm | clarified 'export_files' in session ROOT: require explicit "isabelle build -e"; | changeset | files |