| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 25-Jul-2019 | 6 | ||
| README | H A D | 25-Jul-2019 | 250 | |
| sfx.txt | H A D | 25-Jul-2019 | 366 |
README
1Windows installer (based on 7zip) 2================================= 3 4* 7zip: http://www.7-zip.org/ 5 6* 7zip self-extracting installer: https://github.com/chrislake/7zsfxmm 7 8* final packaging: 9 10 cat 7zsd_All_x64.sfx sfx.txt Isabelle.7z > Isabelle.exe 11