Admin/lib/Tools/makedist_bundles

--- a/Admin/lib/Tools/makedist_bundles	Thu Jan 10 20:23:16 2013 +0100
+++ b/Admin/lib/Tools/makedist_bundles	Thu Jan 10 20:41:52 2013 +0100
@@ -117,12 +117,11 @@
     perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \
       "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
 
-# FIXME include cygwin.tar.gz etc.
-#
-#    TAR="$ARCHIVE_DIR/contrib/windows/Isabelle.tar"
-#    [ -e "$TAR" ] || fail "Missing $TAR"
-#    rm -f "$ISABELLE_TARGET/Isabelle"
-#    tar -C "$ISABELLE_TARGET" -xv -f "$TAR"
+    # FIXME cygwin.tar.gz
+
+    cp "$ISABELLE_HOME/Admin/Windows/launch4j/Isabelle.exe" "$ISABELLE_TARGET/Isabelle2013.exe"
+    cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
+      "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET"
 
     for NAME in ANNOUNCE README NEWS COPYRIGHT CONTRIBUTORS contrib/README
     do