tuned;
authorwenzelm
Sun Jul 27 15:25:00 2014 +0200 (2014-07-27)
changeset 576938ccc4875fe4f
parent 57692 65dc798bb1fb
child 57694 c0fd03d13d28
tuned;
NEWS
     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