Summary
- update to polyml-219e0a248f70, with more robust support for ARM64;
- tuned generated README;
- merged
- Tidied up more messy proofs
- hints on "hg bisect";
- no hardwired timeout in Isabelle distribution (unlike on AFP): reverting part of 74c75da4cb01 -- without further tinkering it breaks isabelle_cronjob builds;
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Pure/Admin/component_polyml.scala (diff) |
The file was modified | src/Pure/Admin/component_polyml.scala (diff) |
The file was modified | src/HOL/Analysis/Cartesian_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Interval_Integral.thy (diff) |
The file was modified | src/HOL/Analysis/Jordan_Curve.thy (diff) |
The file was modified | src/HOL/Analysis/Locally.thy (diff) |
The file was modified | README_REPOSITORY (diff) |
The file was modified | src/HOL/ROOT (diff) |