--- a/Admin/CHECKLIST Sun Apr 29 20:53:55 2012 +0200
+++ b/Admin/CHECKLIST Sun Apr 29 23:08:27 2012 +0200
@@ -54,7 +54,9 @@
- makebundle (multiplatform);
-- hdiutil create -srcfolder DIR DMG (Mac OS);
+- Mac OS X: hdiutil create -srcfolder DIR DMG;
+
+- Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
- makebin -l on fast machine, based on renamed bundle with deleted heaps;
--- a/Admin/Cygwin/README Sun Apr 29 20:53:55 2012 +0200
+++ b/Admin/Cygwin/README Sun Apr 29 23:08:27 2012 +0200
@@ -20,3 +20,4 @@
e.g. ftp://www.fruitbat.org/pub/cygwin/circa/2012/02/04/034515/setup.ini
for last 1.7.9 version
+* 7zip self-extracting installer: http://www.7zsfx.info
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Cygwin/sfx.txt Sun Apr 29 23:08:27 2012 +0200
@@ -0,0 +1,8 @@
+;!@Install@!UTF-8!
+GUIFlags="64"
+InstallPath="%UserDesktop%"
+BeginPrompt="Unpack Isabelle2012?"
+ExtractPathText="Target directory"
+ExtractTitle="Unpacking Isabelle2012 ..."
+Shortcut="Du,{%%T\Isabelle2012\Isabelle.exe},{},{},{},{},{%%T\Isabelle2012}"
+;!@InstallEnd@!