Admin/Windows/Installer/README
author wenzelm
Tue, 29 Dec 2015 21:51:58 +0100
changeset 61964 37a0cbee00c2
parent 50984 7c07ade3c8e0
child 67994 11be98cefe92
permissions -rw-r--r--
more arrow symbols;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
50984
7c07ade3c8e0 misc cleanup;
wenzelm
parents:
diff changeset
     1
Windows installer (based on 7zip)
7c07ade3c8e0 misc cleanup;
wenzelm
parents:
diff changeset
     2
=================================
7c07ade3c8e0 misc cleanup;
wenzelm
parents:
diff changeset
     3
7c07ade3c8e0 misc cleanup;
wenzelm
parents:
diff changeset
     4
* 7zip: http://www.7-zip.org/
7c07ade3c8e0 misc cleanup;
wenzelm
parents:
diff changeset
     5
7c07ade3c8e0 misc cleanup;
wenzelm
parents:
diff changeset
     6
* 7zip self-extracting installer: http://www.7zsfx.info
7c07ade3c8e0 misc cleanup;
wenzelm
parents:
diff changeset
     7
7c07ade3c8e0 misc cleanup;
wenzelm
parents:
diff changeset
     8
* final packaging:
7c07ade3c8e0 misc cleanup;
wenzelm
parents:
diff changeset
     9
7c07ade3c8e0 misc cleanup;
wenzelm
parents:
diff changeset
    10
  cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
7c07ade3c8e0 misc cleanup;
wenzelm
parents:
diff changeset
    11