Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified installed files;
  3. build Isabelle E prover component from official downloads;
  4. clarified signature;
  5. updated for coming release;
  6. updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020;
  7. clarified platforms;
  8. updated to opam-2.0.7; support arm64-linux;
  9. merged
  10. fixed a bunch of ugly proofs
  11. Add more tacing to sledgehammer_isar_trace
Changeset 72365:3c597781e346 by wenzelm:
merged
Changeset 72364:374aafa52e92 by wenzelm:
clarified installed files;
The file was modified src/Pure/Admin/build_e.scala (diff)
Changeset 72363:fc5f10691147 by wenzelm:
build Isabelle E prover component from official downloads;
The file was addedsrc/Pure/Admin/build_e.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 72362:5f17bf3709b8 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_sqlite.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 72361:178cbf89780e by wenzelm:
updated for coming release;
The file was modified src/Pure/Admin/build_cygwin.scala (diff)
Changeset 72360:1f03cc073046 by wenzelm:
updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020;
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
Changeset 72359:9af8124f7f0d by wenzelm:
clarified platforms;
The file was modified Admin/PLATFORMS (diff)
Changeset 72358:91f38e34aa3f by wenzelm:
updated to opam-2.0.7;<br>support arm64-linux;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72357:a9979b2a53d1 by paulson:
merged
Changeset 72356:5a8c93a5ab4f by paulson _lp15@cam.ac.uk_:
fixed a bunch of ugly proofs
The file was modified src/HOL/Analysis/Convex_Euclidean_Space.thy (diff)
Changeset 72355:1f959abe99d5 by desharna:
Add more tacing to sledgehammer_isar_trace
The file was modified src/HOL/Tools/ATP/atp_problem.ML (diff)
The file was modified src/HOL/Tools/ATP/atp_proof.ML (diff)
The file was modified src/HOL/Tools/SMT/smt_solver.ML (diff)
The file was modified src/HOL/Tools/SMT/z3_isar.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML (diff)