1.1 --- a/Admin/MacOS/App1/README	Sat Jan 19 00:00:29 2013 +0100
     1.2 +++ b/Admin/MacOS/App1/README	Sat Jan 19 12:53:13 2013 +0100
     1.3 @@ -8,3 +8,7 @@
     1.4  * Platypus 4.7 http://www.sveinbjorn.org/platypus
     1.5    Preferences: Install command line tool
     1.6  
     1.7 +* final packaging:
     1.8 +
     1.9 +  hdiutil create -srcfolder DIR DMG
    1.10 +

     2.1 --- a/Admin/Release/CHECKLIST	Sat Jan 19 00:00:29 2013 +0100
     2.2 +++ b/Admin/Release/CHECKLIST	Sat Jan 19 12:53:13 2013 +0100
     2.3 @@ -55,9 +55,7 @@
     2.4  
     2.5  - hg up -r DISTNAME && Admin/Release/build -r DISTNAME /home/isabelle/dist
     2.6  
     2.7 -- Mac OS X: hdiutil create -srcfolder DIR DMG
     2.8 -
     2.9 -- Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
    2.10 +- manual packaging of .app (Mac OS) and .exe (Windows)
    2.11  
    2.12  
    2.13  Final release stage

     3.1 --- a/Admin/Windows/Cygwin/README	Sat Jan 19 00:00:29 2013 +0100
     3.2 +++ b/Admin/Windows/Cygwin/README	Sat Jan 19 12:53:13 2013 +0100
     3.3 @@ -1,23 +1,14 @@
     3.4 -Notes on Cygwin
     3.5 -===============
     3.6 +Cygwin
     3.7 +======
     3.8  
     3.9  * http://www.cygwin.com/
    3.10  
    3.11 -* http://www.cygwin.com/cygwin-ug-net/ntsec.html
    3.12 -
    3.13 -* http://chinese-watercolor.com/LRP/printsrv/cygwin-sshd.html
    3.14 -
    3.15 -* Cygwin crash of Poly/ML 5.4.0, 5.4.1 with threads (and sockets?)
    3.16 -http://cygwin.com/ml/cygwin/2012-04/msg00415.html
    3.17 -http://cygwin.com/ml/cygwin/2012-04/msg00417.html
    3.18 -
    3.19  * Mirror with many old versions (not setup.ini)
    3.20    http://ftp.eq.uc.pt/software/pc/prog/cygwin
    3.21  
    3.22 -* Time machine for older versions:
    3.23 -  http://www.fruitbat.org/Cygwin/index.html#cygwincirca
    3.24 +* Local snapshots:
    3.25 +  http://isabelle.in.tum.de/cygwin  (Isabelle2012)
    3.26 +  http://isabelle.in.tum.de/cygwin_2013  (Isabelle2013)
    3.27  
    3.28 -  e.g. ftp://www.fruitbat.org/pub/cygwin/circa/2012/02/04/034515/setup.ini
    3.29 -  for last 1.7.9 version
    3.30 +* Quasi-component: "isabelle makedist_cygwin"
    3.31  
    3.32 -* 7zip self-extracting installer: http://www.7zsfx.info

     4.1 --- a/Admin/Windows/Cygwin/sfx.txt	Sat Jan 19 00:00:29 2013 +0100
     4.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     4.3 @@ -1,9 +0,0 @@
     4.4 -;!@Install@!UTF-8!
     4.5 -GUIFlags="64"
     4.6 -InstallPath="%UserDesktop%"
     4.7 -BeginPrompt="Unpack Isabelle2013?"
     4.8 -ExtractPathText="Target directory"
     4.9 -ExtractTitle="Unpacking Isabelle2013 ..."
    4.10 -Shortcut="Du,{%%T\Isabelle2013\Isabelle2013.exe},{},{},{},{Isabelle2013},{%%T\Isabelle2013}"
    4.11 -RunProgram="\"%%T\Isabelle2013\contrib\cygwin\isabelle\init.bat\""
    4.12 -;!@InstallEnd@!

     5.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     5.2 +++ b/Admin/Windows/Installer/README	Sat Jan 19 12:53:13 2013 +0100
     5.3 @@ -0,0 +1,11 @@
     5.4 +Windows installer (based on 7zip)
     5.5 +=================================
     5.6 +
     5.7 +* 7zip: http://www.7-zip.org/
     5.8 +
     5.9 +* 7zip self-extracting installer: http://www.7zsfx.info
    5.10 +
    5.11 +* final packaging:
    5.12 +
    5.13 +  cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
    5.14 +

     6.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     6.2 +++ b/Admin/Windows/Installer/sfx.txt	Sat Jan 19 12:53:13 2013 +0100
     6.3 @@ -0,0 +1,9 @@
     6.4 +;!@Install@!UTF-8!
     6.5 +GUIFlags="64"
     6.6 +InstallPath="%UserDesktop%"
     6.7 +BeginPrompt="Unpack Isabelle2013?"
     6.8 +ExtractPathText="Target directory"
     6.9 +ExtractTitle="Unpacking Isabelle2013 ..."
    6.10 +Shortcut="Du,{%%T\Isabelle2013\Isabelle2013.exe},{},{},{},{Isabelle2013},{%%T\Isabelle2013}"
    6.11 +RunProgram="\"%%T\Isabelle2013\contrib\cygwin\isabelle\init.bat\""
    6.12 +;!@InstallEnd@!