Admin/Windows/Installer/README
author wenzelm
Tue, 16 Jan 2018 09:58:17 +0100
changeset 67445 4311845b0412
parent 50984 7c07ade3c8e0
child 67994 11be98cefe92
permissions -rw-r--r--
tuned document;

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