--- a/Admin/lib/Tools/makedist_bundles Fri Jan 11 08:17:47 2013 +0100
+++ b/Admin/lib/Tools/makedist_bundles Fri Jan 11 13:23:51 2013 +0100
@@ -117,8 +117,6 @@
perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \
"$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
- mv "$ISABELLE_TARGET/contrib/cygwin" "$ISABELLE_TARGET"
-
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"