Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
obsolete;
authorwenzelm
Tue, 18 Feb 2025 19:59:42 +0100
changeset 82195 d818267e7821
parent 82194 8141b302bb92
child 82196 0b090cfce4e8
obsolete;
Admin/Windows/Installer/README file | annotate | diff | comparison | revisions 
--- a/Admin/Windows/Installer/README	Tue Feb 18 19:07:06 2025 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-Windows installer (based on 7zip)
-=================================
-
-* 7zip: https://www.7-zip.org
-
-* 7zip self-extracting installer: https://github.com/chrislake/7zsfxmm
-
-* final packaging:
-
-  cat 7zsd_All_x64.sfx sfx.txt Isabelle.7z > Isabelle.exe
isabelle