Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Windows/Installer/README
changeset 70248 edd3b2e06f90
parent 67994 11be98cefe92 
--- a/Admin/Windows/Installer/README	Wed May 08 18:53:27 2019 +0200
+++ b/Admin/Windows/Installer/README	Wed May 08 20:10:13 2019 +0200
@@ -1,7 +1,7 @@
 Windows installer (based on 7zip)
 =================================
 
-* 7zip: http://www.7-zip.org/
+* 7zip: https://www.7-zip.org
 
 * 7zip self-extracting installer: https://github.com/chrislake/7zsfxmm
isabelle