Windows installer (based on 7zip) ================================= * 7zip: http://www.7-zip.org/ * 7zip self-extracting installer: http://www.7zsfx.info * final packaging: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe