| Sun, 17 Feb 2019 19:31:04 +0100 | wenzelm | updated to polyml-test-8fda4fd22441; | changeset | files |
| Fri, 15 Feb 2019 18:24:22 +0000 | haftmann | proper installation of ancient procedure for preorders | changeset | files |
| Fri, 15 Feb 2019 07:11:11 +0000 | haftmann | CONTRIBUTORS | changeset | files |
| 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 |
| Fri, 15 Feb 2019 12:34:29 +0100 | wenzelm | clarified name; | changeset | files |