Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Tagged some theories in HOL-Analysis
  2. proper chapter;
  3. tuned messages;
  4. tuned signature;
  5. tuned messages;
  6. more robust: check archive ident;
  7. misc tuning and clarification;
Changeset 69180:922833cc6839 by manuel eberl _eberlm@in.tum.de_:
Tagged some theories in HOL-Analysis
The file was modified src/HOL/Analysis/Complex_Analysis_Basics.thy (diff)
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Embed_Measure.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Integral_Substitution.thy (diff)
Changeset 69179:dff89effe26b by wenzelm:
proper chapter;
The file was modified src/Tools/ROOT (diff)
Changeset 69178:242d4eb3407f by wenzelm:
tuned messages;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 69177:300046d2ec60 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 69176:63391630495f by wenzelm:
tuned messages;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 69175:561dc80624db by wenzelm:
more robust: check archive ident;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 69174:822726043e28 by wenzelm:
misc tuning and clarification;
The file was modified src/Pure/Admin/build_release.scala (diff)