--- a/NEWS Fri Jul 05 23:17:39 2013 +0200
+++ b/NEWS Sat Jul 06 21:19:38 2013 +0200
@@ -10536,4 +10536,4 @@
* 'subtype' facility in HOL for introducing new types as subsets of existing
types;
-:mode=text:wrap=hard:maxLineLen=72:
+:mode=isabelle-news:wrap=hard:maxLineLen=72: