Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge
  2. more from moretop.ml
  3. Jenkins: build in system mode again (backout of 3dbfd6758735)
Changeset 64288:4750673a96da by paulson _lp15@cam.ac.uk_:
Merge
Changeset 64287:d85d88722745 by paulson _lp15@cam.ac.uk_:
more from moretop.ml
The file was modified src/HOL/Analysis/Bochner_Integration.thy (diff)
The file was modified src/HOL/Analysis/Borel_Space.thy (diff)
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Convex_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Derivative.thy (diff)
The file was modified src/HOL/Analysis/FurtherTopology.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/Orderings.thy (diff)
Changeset 64286:b2f7aa1c6b75 by lars hupel _lars.hupel@mytum.de_:
Jenkins: build in system mode again<br><br>(backout of 3dbfd6758735)
The file was modified src/Pure/Admin/ci_profile.scala (diff)