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 -------------------------------------