Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged;
  2. more thorough Execution.join, under the assumption that nested Execution.fork only happens from given exed_ids;
  3. more synchronized Execution.snapshot;
  4. tuned spelling;
  5. tuned;
  6. tuned;
  7. merged
  8. more Henstock_Kurzweil_Integration cleanup
  9. tuning imports
  10. use TFF0 with E 2.0 and above
  11. E 2.0 component
  12. updated remote Vampire version
  13. merged
  14. more integration cleanups
Changeset 66372:911f950510e0 by wenzelm:
merged;
Changeset 66371:6ce1afc01040 by wenzelm:
more thorough Execution.join, under the assumption that nested Execution.fork only happens from given exed_ids;
The file was modified src/Pure/Concurrent/future.ML (diff)
The file was modified src/Pure/PIDE/execution.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 66370:de9c6560c221 by wenzelm:
more synchronized Execution.snapshot;
The file was modified src/Pure/PIDE/execution.ML (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 66369:d003b44674c1 by wenzelm:
tuned spelling;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 66368:26735fab7a8f by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 66367:b60afdf1177d by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 66366:e2f426b54922 by paulson:
merged
Changeset 66365:d77a4ab4fe59 by paulson _lp15@cam.ac.uk_:
more Henstock_Kurzweil_Integration cleanup
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Tagged_Division.thy (diff)
Changeset 66364:fa3247e6ee4b by blanchet:
tuning imports
The file was modified src/HOL/ATP.thy (diff)
The file was modified src/HOL/Equiv_Relations.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Lattices_Big.thy (diff)
The file was modified src/HOL/Option.thy (diff)
The file was modified src/HOL/Partial_Function.thy (diff)
Changeset 66363:8aca34dbe195 by blanchet:
use TFF0 with E 2.0 and above
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
The file was modified src/HOL/Tools/ATP/atp_systems.ML (diff)
Changeset 66362:9b70e98490da by blanchet:
E 2.0 component
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 66361:5deeb0dbccb4 by blanchet:
updated remote Vampire version
The file was modified src/HOL/Tools/ATP/atp_systems.ML (diff)
Changeset 66360:af5c71cffec5 by paulson:
merged
Changeset 66359:8ed88442d7bb by paulson _lp15@cam.ac.uk_:
more integration cleanups
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)