Admin/CHECKLIST

--- 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;