Summary
- prefer HTTPS;
- prefer curl: presumably more portable and versatile;
- misc tuning and modernization;
The file was modified | etc/settings (diff) |
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) |
The file was modified | src/HOL/Archimedean_Field.thy (diff) |
The file was modified | src/HOL/GCD.thy (diff) |