NEWS
changeset 57693 8ccc4875fe4f
parent 57650 17d7f5d96328
child 57695 987c9ceeaafd
child 57822 9ea92df3631a
     1.1 --- a/NEWS	Sat Jul 26 19:19:19 2014 +0200
     1.2 +++ b/NEWS	Sun Jul 27 15:25:00 2014 +0200
     1.3 @@ -1048,6 +1048,7 @@
     1.4  of TeX Live from Cygwin.
     1.5  
     1.6  
     1.7 +
     1.8  New in Isabelle2013-2 (December 2013)
     1.9  -------------------------------------
    1.10