NEWS

--- a/NEWS	Sat Feb 27 20:42:13 2016 +0100
+++ b/NEWS	Sat Feb 27 21:04:13 2016 +0100
@@ -7,6 +7,11 @@
 New in this Isabelle version
 ----------------------------
 
+*** General ***
+
+* New symbol \<circle>, e.g. for temporal operator.
+
+
 *** Isar ***
 
 * Command '\<proof>' is an alias for 'sorry', with different