NEWS
changeset 56738 13b0fc4ece42
parent 56652 b0126a5a256d
child 56762 539fe017905a
     1.1 --- a/NEWS	Sat Apr 26 06:43:06 2014 +0200
     1.2 +++ b/NEWS	Sat Apr 26 21:37:09 2014 +1000
     1.3 @@ -691,7 +691,8 @@
     1.4  incompatibility for old tools that do not use the $ISABELLE_PROCESS
     1.5  settings variable yet.
     1.6  
     1.7 -
     1.8 +* Retired the now unused Isabelle tool "wwwfind". Similar functionality
     1.9 +may be integrated into PIDE/jEdit at a later point.
    1.10  
    1.11  New in Isabelle2013-2 (December 2013)
    1.12  -------------------------------------