Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- tuned comments;
- misc updates and clarification;
- clarified file name;
- merged
- updated to polyml-5.8.2 (official release);
- clarified default_platform_families (again);
- proper option for linux_arm;
- proper "$?";
The file was modified | Admin/components/main |
The file was modified | Admin/components/optional |
The file was modified | Admin/components/windows |
The file was modified | Admin/components/PLATFORMS |
The file was added | Admin/components/PLATFORMS |
The file was removed | Admin/PLATFORMS |
The file was modified | Admin/components/components.sha1 |
The file was modified | Admin/components/main |
The file was modified | Admin/polyml/README |
The file was modified | src/Pure/Admin/build_release.scala |
The file was modified | src/Pure/System/platform.scala |
The file was modified | Admin/etc/options |
The file was modified | Admin/init |
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- merged
- slight tidying of 1.19
The file was modified | thys/Nash_Williams/Nash_Williams.thy |