NEWS
changeset 57084 70e288a4b32d
parent 57029 75cc30d2b83f
child 57089 353652f47974
     1.1 --- a/NEWS	Sat May 24 20:07:26 2014 +0200
     1.2 +++ b/NEWS	Sat May 24 20:24:43 2014 +0200
     1.3 @@ -839,8 +839,13 @@
     1.4  incompatibility for old tools that do not use the $ISABELLE_PROCESS
     1.5  settings variable yet.
     1.6  
     1.7 -* Retired the now unused Isabelle tool "wwwfind". Similar functionality
     1.8 -may be integrated into PIDE/jEdit at a later point.
     1.9 +* Retired the now unused Isabelle tool "wwwfind". Similar
    1.10 +functionality may be integrated into PIDE/jEdit at a later point.
    1.11 +
    1.12 +* Windows: support for regular TeX installation (e.g. MiKTeX) instead
    1.13 +of TeX Live from Cygwin.
    1.14 +
    1.15 +
    1.16  
    1.17  New in Isabelle2013-2 (December 2013)
    1.18  -------------------------------------