Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. cleanup of old proofs
  3. proper output directory (amending cc1347c8c804);
  4. updated to cvc4-1.8;
Changeset 72687:8e5428ff35af by paulson:
merged
Changeset 72686:703b601d71b5 by paulson _lp15@cam.ac.uk_:
cleanup of old proofs
The file was modified src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
Changeset 72685:a7877e14e7f8 by wenzelm:
proper output directory (amending cc1347c8c804);
The file was modified src/Pure/Admin/build_doc.scala (diff)
Changeset 72684:dcc0022f0179 by wenzelm:
updated to cvc4-1.8;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)