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