Admin/lib/Tools/makedist_bundle

       done
 
       find . -type f -not -name '*.exe' -not -name '*.dll' -perm +100 \
         -print0 > "contrib/cygwin/isabelle/executables"
 
+      find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" \
+        > "contrib/cygwin/isabelle/symlinks"
+
       cat >> "contrib/cygwin/isabelle/postinstall" <<EOF
 
 find -type d -exec chmod 755 '{}' +
 find -type f \( -name '*.exe' -o -name '*.dll' \) -exec chmod 755 '{}' +
 find -type f -not -name '*.exe' -not -name '*.dll' -exec chmod 644 '{}' +

 BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_${PLATFORM_FAMILY}.tar.gz"
 
 echo "packaging $(basename "$BUNDLE_ARCHIVE")"
 tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME" || exit 2
 
+if [ "$PLATFORM_FAMILY" = windows ]
+then
+  if type -p 7z >/dev/null
+  then
+    echo "packaging ${ISABELLE_NAME}.7z"
+    (
+      cd "$TMP"
+      rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.7z"
+      7z -y a "${ARCHIVE_DIR}/${ISABELLE_NAME}.7z" "$ISABELLE_NAME" || exit 2
+    )
+  fi
+fi
 
 # clean up
 rm -rf "$TMP"