Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- unused;
- tuned;
- proper IPC for scheduled builds, following 7ae25372ab04;
- proper check (amending 9aef1d1535ff);
- more synced options (following 6e5397fcc41b);
- avoid [no_atp] declations shadowing propositions from sledgehammer
- track start in build job results (following 9d484c5d3a63), so it can directly be written to build log database;
- use inherited build_start, following d9fc2cc37694;
- update NEWS + CONTRIBUTORS for release;
- Tuned proofs
The file was modified | src/Pure/Build/build_schedule.scala |
The file was modified | src/Pure/Build/build_schedule.scala |
The file was modified | src/Pure/Build/build_schedule.scala |
The file was modified | src/Pure/Build/build_schedule.scala |
The file was modified | etc/options |
The file was modified | src/HOL/Bit_Operations.thy |
The file was modified | src/Pure/Build/build_process.scala |
The file was modified | src/Pure/Build/build_schedule.scala |
The file was modified | src/Pure/Build/build_schedule.scala |
The file was modified | CONTRIBUTORS |
The file was modified | NEWS |
The file was modified | src/HOL/Algebra/Polynomial_Divisibility.thy |
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- Inserted a corollary to the main result
The file was modified | thys/Stirling_Formula/Stirling_Formula.thy |