NEWS
changeset 54055 5bf55a713232
parent 54049 566b769c3477
child 54227 63b441f49645
--- a/NEWS	Thu Oct 03 16:32:33 2013 +0200
+++ b/NEWS	Thu Oct 03 19:01:10 2013 +0200
@@ -1,6 +1,11 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle version
+----------------------------
+
+
+
 New in Isabelle2013-1 (November 2013)
 -------------------------------------