--- a/NEWS Sat Jul 26 19:19:19 2014 +0200 +++ b/NEWS Sun Jul 27 15:25:00 2014 +0200 @@ -1048,6 +1048,7 @@ of TeX Live from Cygwin. + New in Isabelle2013-2 (December 2013) -------------------------------------