isabelle: Admin/Windows/Installer/README@94b0da1b242e (annotated)

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