equal
deleted
inserted
replaced
|
1 Windows installer (based on 7zip) |
|
2 ================================= |
|
3 |
|
4 * 7zip: http://www.7-zip.org/ |
|
5 |
|
6 * 7zip self-extracting installer: http://www.7zsfx.info |
|
7 |
|
8 * final packaging: |
|
9 |
|
10 cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe |
|
11 |