Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated URLs;
  2. merged
  3. more robust;
  4. avoid hardwired cygwin mirror;
  5. updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; record cygwin mirror explicitly;
  6. NEWS: infinite products
  7. merged
  8. more tweaks of Cauchy
  9. clarified signature; simplified options;
Changeset 68378:22680a3f8346 by wenzelm:
updated URLs;
The file was modified README_REPOSITORY (diff)
Changeset 68377:1d1e9f9f8641 by wenzelm:
merged
Changeset 68376:78147871f5b3 by wenzelm:
more robust;
The file was modified Admin/Windows/Cygwin/Cygwin-Setup.bat (diff)
Changeset 68375:5714e8806060 by wenzelm:
avoid hardwired cygwin mirror;
The file was modified Admin/Windows/Cygwin/Cygwin-Setup.bat (diff)
The file was modified Admin/lib/Tools/makedist_bundle (diff)
Changeset 68374:8740e1241555 by wenzelm:
updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;<br>record cygwin mirror explicitly;
The file was modified Admin/PLATFORMS (diff)
The file was modified Admin/Windows/Cygwin/Cygwin-Setup.bat (diff)
The file was modified Admin/Windows/Cygwin/README (diff)
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_cygwin.scala (diff)
Changeset 68373:f254e383bfe9 by paulson _lp15@cam.ac.uk_:
NEWS: infinite products
The file was modified NEWS (diff)
Changeset 68372:8e9da2d09dc6 by paulson:
merged
Changeset 68371:17c3b22a9575 by paulson _lp15@cam.ac.uk_:
more tweaks of Cauchy
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
Changeset 68370:bcdc47c9d4af by wenzelm:
clarified signature;<br>simplified options;
The file was modified NEWS (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)