--- a/Admin/MacOS/App1/README Sat Jan 19 00:00:29 2013 +0100
+++ b/Admin/MacOS/App1/README Sat Jan 19 12:53:13 2013 +0100
@@ -8,3 +8,7 @@
* Platypus 4.7 http://www.sveinbjorn.org/platypus
Preferences: Install command line tool
+* final packaging:
+
+ hdiutil create -srcfolder DIR DMG
+
--- a/Admin/Release/CHECKLIST Sat Jan 19 00:00:29 2013 +0100
+++ b/Admin/Release/CHECKLIST Sat Jan 19 12:53:13 2013 +0100
@@ -55,9 +55,7 @@
- hg up -r DISTNAME && Admin/Release/build -r DISTNAME /home/isabelle/dist
-- Mac OS X: hdiutil create -srcfolder DIR DMG
-
-- Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
+- manual packaging of .app (Mac OS) and .exe (Windows)
Final release stage
--- a/Admin/Windows/Cygwin/README Sat Jan 19 00:00:29 2013 +0100
+++ b/Admin/Windows/Cygwin/README Sat Jan 19 12:53:13 2013 +0100
@@ -1,23 +1,14 @@
-Notes on Cygwin
-===============
+Cygwin
+======
* http://www.cygwin.com/
-* http://www.cygwin.com/cygwin-ug-net/ntsec.html
-
-* http://chinese-watercolor.com/LRP/printsrv/cygwin-sshd.html
-
-* Cygwin crash of Poly/ML 5.4.0, 5.4.1 with threads (and sockets?)
-http://cygwin.com/ml/cygwin/2012-04/msg00415.html
-http://cygwin.com/ml/cygwin/2012-04/msg00417.html
-
* Mirror with many old versions (not setup.ini)
http://ftp.eq.uc.pt/software/pc/prog/cygwin
-* Time machine for older versions:
- http://www.fruitbat.org/Cygwin/index.html#cygwincirca
+* Local snapshots:
+ http://isabelle.in.tum.de/cygwin (Isabelle2012)
+ http://isabelle.in.tum.de/cygwin_2013 (Isabelle2013)
- e.g. ftp://www.fruitbat.org/pub/cygwin/circa/2012/02/04/034515/setup.ini
- for last 1.7.9 version
+* Quasi-component: "isabelle makedist_cygwin"
-* 7zip self-extracting installer: http://www.7zsfx.info
--- a/Admin/Windows/Cygwin/sfx.txt Sat Jan 19 00:00:29 2013 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-;!@Install@!UTF-8!
-GUIFlags="64"
-InstallPath="%UserDesktop%"
-BeginPrompt="Unpack Isabelle2013?"
-ExtractPathText="Target directory"
-ExtractTitle="Unpacking Isabelle2013 ..."
-Shortcut="Du,{%%T\Isabelle2013\Isabelle2013.exe},{},{},{},{Isabelle2013},{%%T\Isabelle2013}"
-RunProgram="\"%%T\Isabelle2013\contrib\cygwin\isabelle\init.bat\""
-;!@InstallEnd@!
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Windows/Installer/README Sat Jan 19 12:53:13 2013 +0100
@@ -0,0 +1,11 @@
+Windows installer (based on 7zip)
+=================================
+
+* 7zip: http://www.7-zip.org/
+
+* 7zip self-extracting installer: http://www.7zsfx.info
+
+* final packaging:
+
+ cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
+
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Windows/Installer/sfx.txt Sat Jan 19 12:53:13 2013 +0100
@@ -0,0 +1,9 @@
+;!@Install@!UTF-8!
+GUIFlags="64"
+InstallPath="%UserDesktop%"
+BeginPrompt="Unpack Isabelle2013?"
+ExtractPathText="Target directory"
+ExtractTitle="Unpacking Isabelle2013 ..."
+Shortcut="Du,{%%T\Isabelle2013\Isabelle2013.exe},{},{},{},{Isabelle2013},{%%T\Isabelle2013}"
+RunProgram="\"%%T\Isabelle2013\contrib\cygwin\isabelle\init.bat\""
+;!@InstallEnd@!