Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. prefer HTTPS;
  2. prefer curl: presumably more portable and versatile;
  3. misc tuning and modernization;
Changeset 63491:58ccbc73a172 by wenzelm:
prefer HTTPS;
The file was modified etc/settings (diff)
Changeset 63490:9416333a17c2 by wenzelm:
prefer curl: presumably more portable and versatile;
The file was modified Admin/lib/Tools/makedist_bundle (diff)
The file was modified Admin/lib/Tools/makedist_cygwin (diff)
The file was modified README_REPOSITORY (diff)
The file was modified lib/Tools/components (diff)
Changeset 63489:cd540c8031a4 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Archimedean_Field.thy (diff)
The file was modified src/HOL/GCD.thy (diff)