# HG changeset patch
# User wenzelm
# Date 1358596393 -3600
# Node ID 7c07ade3c8e0bbf89613edd3b022a759aa3ad76e
# Parent  1290afb88f903f8ef49e24615412a72340f4f497
misc cleanup;

diff -r 1290afb88f90 -r 7c07ade3c8e0 Admin/MacOS/App1/README
--- 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
+
diff -r 1290afb88f90 -r 7c07ade3c8e0 Admin/Release/CHECKLIST
--- 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
diff -r 1290afb88f90 -r 7c07ade3c8e0 Admin/Windows/Cygwin/README
--- 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
diff -r 1290afb88f90 -r 7c07ade3c8e0 Admin/Windows/Cygwin/sfx.txt
--- 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@!
diff -r 1290afb88f90 -r 7c07ade3c8e0 Admin/Windows/Installer/README
--- /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
+
diff -r 1290afb88f90 -r 7c07ade3c8e0 Admin/Windows/Installer/sfx.txt
--- /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@!