# HG changeset patch
# User wenzelm
# Date 1335263092 -7200
# Node ID 9d7473cfb9ea7a54e8aa96e49564af90666fa16f
# Parent  77d9881bc820ba34773915cc822e985bce9850d8
Cygwin setup via the quasi-mirror isabelle.in.tum.de, which serves a fixed (downgraded) version;

diff -r 77d9881bc820 -r 9d7473cfb9ea Admin/Cygwin/Cygwin-Setup.bat
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Cygwin/Cygwin-Setup.bat	Tue Apr 24 12:24:52 2012 +0200
@@ -0,0 +1,4 @@
+@echo off
+
+"%CD%\contrib\cygwin-1.7.9\setup" --site http://isabelle.in.tum.de/cygwin --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin-1.7.9"
+