Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. tidying and reorganisation around Cauchy Integral Theorem
  3. export sort algebra;
  4. tuned;
  5. tuned;
  6. support 'export_files' in session ROOT;
  7. clarified output;
  8. support multiple patterns;
  9. clarified cache;
  10. tuned signature;
  11. tuned output;
  12. merged
  13. merged
  14. tidied some proofs
  15. merged
  16. merged
  17. more small tidying
  18. merged
  19. macOS build: exclude HOL-Proofs
Changeset 68297:e033ccc418ad by paulson:
merged
Changeset 68296:69d680e94961 by paulson _lp15@cam.ac.uk_:
tidying and reorganisation around Cauchy Integral Theorem
The file was modified src/HOL/Analysis/Brouwer_Fixpoint.thy (diff)
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Complex_Analysis_Basics.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 68295:781a98696638 by wenzelm:
export sort algebra;
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
The file was modified src/Pure/sorts.ML (diff)
Changeset 68294:0f513ae3db77 by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 68293:2bc4e5d9cca6 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/session.scala (diff)
Changeset 68292:7ca0c23179e6 by wenzelm:
support 'export_files' in session ROOT;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Sessions.thy (diff)
The file was modified src/Pure/Thy/sessions.ML (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68291:1e1877cb9b3a by wenzelm:
clarified output;
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68290:f1f5ccc85b25 by wenzelm:
support multiple patterns;
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68289:c29fc61fb1b1 by wenzelm:
clarified cache;
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68288:d20770229f99 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68287:2ae74a278c10 by wenzelm:
tuned output;
The file was modified src/Pure/General/position.scala (diff)
Changeset 68286:b9160ca067ae by paulson:
merged
Changeset 68285:9d93b13f07ce by paulson:
merged
Changeset 68284:5e4e006f9552 by paulson _lp15@cam.ac.uk_:
tidied some proofs
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
Changeset 68283:e2f235b9662a by paulson:
merged
Changeset 68282:d6b789072d72 by paulson:
merged
Changeset 68281:faa4b49d1b34 by paulson _lp15@cam.ac.uk_:
more small tidying
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
Changeset 68280:310b8c1e4dbb by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 68279:5824e400cecc by lars hupel _lars.hupel@mytum.de_:
macOS build: exclude HOL-Proofs
The file was modified Admin/jenkins/build/ci_build_makeall_seq.scala (diff)