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