Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Change of variables proof
  2. merged
  3. Vitali covering theorem
  4. updated to xz-java-1.8;
  5. updated windows_app to launch4j 3.11 and 7zsd_extra_171_3901.7z (reconstructed by Chris Lake);
  6. NEWS;
  7. updated to jedit-5.5.0; discontinued jedit_build/contrib/jEdit-patched.tar.gz -- its content is in directory jedit_build/contrib/jedit-5.5.0-patched/jEdit;
  8. more about measure
Changeset 67998:73a5a33486ee by paulson _lp15@cam.ac.uk_:
Change of variables proof
The file was addedsrc/HOL/Analysis/Change_Of_Vars.thy
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Measure.thy (diff)
The file was modified src/HOL/Analysis/Vitali_Covering_Theorem.thy (diff)
Changeset 67997:ae76012879c6 by paulson:
merged
Changeset 67996:6a9d1b31a7c5 by paulson _lp15@cam.ac.uk_:
Vitali covering theorem
The file was addedsrc/HOL/Analysis/Vitali_Covering_Theorem.thy
The file was modified src/HOL/Analysis/Analysis.thy (diff)
Changeset 67995:927c6f4405db by wenzelm:
updated to xz-java-1.8;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 67994:11be98cefe92 by wenzelm:
updated windows_app to launch4j 3.11 and 7zsd_extra_171_3901.7z (reconstructed by Chris Lake);
The file was modified Admin/Windows/Installer/README (diff)
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/lib/Tools/makedist_bundle (diff)
Changeset 67993:271e2d84e7a3 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 67992:752a4e6d760c by wenzelm:
updated to jedit-5.5.0;<br>discontinued jedit_build/contrib/jEdit-patched.tar.gz -- its content is in directory jedit_build/contrib/jedit-5.5.0-patched/jEdit;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/patches/docking (diff)
The file was modified src/Tools/jEdit/patches/extended_styles (diff)
The file was modified src/Tools/jEdit/patches/folding (diff)
The file was modified src/Tools/jEdit/patches/props (diff)
Changeset 67991:53ab458395a8 by paulson _lp15@cam.ac.uk_:
more about measure
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)