support for regular Windows TeX installation;
authorwenzelm
Sat May 24 20:24:43 2014 +0200 (2014-05-24)
changeset 5708470e288a4b32d
parent 57083 5c26000e1042
child 57085 cb212f52c2a3
support for regular Windows TeX installation;
Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat
Admin/lib/Tools/makedist_bundle
NEWS
     1.1 --- a/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat	Sat May 24 20:07:26 2014 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,4 +0,0 @@
     1.4 -@echo off
     1.5 -
     1.6 -"%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
     1.7 -
     2.1 --- a/Admin/lib/Tools/makedist_bundle	Sat May 24 20:07:26 2014 +0200
     2.2 +++ b/Admin/lib/Tools/makedist_bundle	Sat May 24 20:24:43 2014 +0200
     2.3 @@ -213,7 +213,6 @@
     2.4  
     2.5      cp "$TMP/windows_app/Isabelle.exe" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe"
     2.6      cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
     2.7 -      "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat" \
     2.8        "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET"
     2.9  
    2.10      (
     3.1 --- a/NEWS	Sat May 24 20:07:26 2014 +0200
     3.2 +++ b/NEWS	Sat May 24 20:24:43 2014 +0200
     3.3 @@ -839,8 +839,13 @@
     3.4  incompatibility for old tools that do not use the $ISABELLE_PROCESS
     3.5  settings variable yet.
     3.6  
     3.7 -* Retired the now unused Isabelle tool "wwwfind". Similar functionality
     3.8 -may be integrated into PIDE/jEdit at a later point.
     3.9 +* Retired the now unused Isabelle tool "wwwfind". Similar
    3.10 +functionality may be integrated into PIDE/jEdit at a later point.
    3.11 +
    3.12 +* Windows: support for regular TeX installation (e.g. MiKTeX) instead
    3.13 +of TeX Live from Cygwin.
    3.14 +
    3.15 +
    3.16  
    3.17  New in Isabelle2013-2 (December 2013)
    3.18  -------------------------------------