Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. merged
  3. Proof simplification
  4. proper "build_thorough" for "isabelle update" (amending 9e5f8f6e58a0);
Changeset 77686:7969fa41439b by paulson:
merged
Changeset 77685:05329cd9db4b by paulson:
merged
Changeset 77684:71f001027a13 by paulson _lp15@cam.ac.uk_:
Proof simplification
The file was modified src/HOL/Analysis/Homotopy.thy (diff)
Changeset 77683:3e8e749935fc by wenzelm:
proper "build_thorough" for "isabelle update" (amending 9e5f8f6e58a0);
The file was modified src/Pure/Tools/update.scala (diff)