# HG changeset patch # User wenzelm # Date 1400955883 -7200 # Node ID 70e288a4b32d9a5fe808fdd8e24e073f95fa639d # Parent 5c26000e1042520d71d4d3db61b3d5565d4cefac support for regular Windows TeX installation; diff -r 5c26000e1042 -r 70e288a4b32d Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat --- 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 - diff -r 5c26000e1042 -r 70e288a4b32d Admin/lib/Tools/makedist_bundle --- 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" ( diff -r 5c26000e1042 -r 70e288a4b32d NEWS --- 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) -------------------------------------