--- a/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat Sat May 24 20:07:26 2014 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-@echo off
-
-"%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2014 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin" --packages texlive-collection-latexextra,texlive-collection-fontutils,texlive-collection-mathextra,libsasl2 --quiet-mode
-
--- a/Admin/lib/Tools/makedist_bundle Sat May 24 20:07:26 2014 +0200
+++ b/Admin/lib/Tools/makedist_bundle Sat May 24 20:24:43 2014 +0200
@@ -213,7 +213,6 @@
cp "$TMP/windows_app/Isabelle.exe" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe"
cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
- "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat" \
"$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET"
(
--- a/NEWS Sat May 24 20:07:26 2014 +0200
+++ b/NEWS Sat May 24 20:24:43 2014 +0200
@@ -839,8 +839,13 @@
incompatibility for old tools that do not use the $ISABELLE_PROCESS
settings variable yet.
-* Retired the now unused Isabelle tool "wwwfind". Similar functionality
-may be integrated into PIDE/jEdit at a later point.
+* Retired the now unused Isabelle tool "wwwfind". Similar
+functionality may be integrated into PIDE/jEdit at a later point.
+
+* Windows: support for regular TeX installation (e.g. MiKTeX) instead
+of TeX Live from Cygwin.
+
+
New in Isabelle2013-2 (December 2013)
-------------------------------------