Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more de-applying
  3. merged
  4. merged
  5. merged
  6. a further clean up
  7. clarified Windows base line;
  8. tuned message;
  9. clarified generated settings;
  10. proper packages for mercurial_setup;
Changeset 72532:088e2141f5e6 by paulson:
merged
Changeset 72531:ee2ba879afb5 by paulson _lp15@cam.ac.uk_:
more de-applying
The file was modified src/HOL/Analysis/Arcwise_Connected.thy (diff)
Changeset 72530:41bae8c80c9c by paulson:
merged
Changeset 72529:546eb2882a84 by paulson:
merged
Changeset 72528:c435a4750636 by paulson:
merged
Changeset 72527:9fc10eb9e9c0 by paulson _lp15@cam.ac.uk_:
a further clean up
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
Changeset 72526:a3d096a98b69 by wenzelm:
clarified Windows base line;
The file was modified Admin/PLATFORMS (diff)
Changeset 72525:8eb0b663fa20 by wenzelm:
tuned message;
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Pure/Tools/build_docker.scala (diff)
Changeset 72524:8e9312e6a6d9 by wenzelm:
clarified generated settings;
The file was modified lib/Tools/components (diff)
Changeset 72523:0d3b623db61a by wenzelm:
proper packages for mercurial_setup;
The file was modified src/Pure/Tools/phabricator.scala (diff)