NEWS
changeset 62440 31fa592761da
parent 62430 9527ff088c15
child 62451 040b94ffbdde
     1.1 --- a/NEWS	Sat Feb 27 20:42:13 2016 +0100
     1.2 +++ b/NEWS	Sat Feb 27 21:04:13 2016 +0100
     1.3 @@ -7,6 +7,11 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +*** General ***
     1.8 +
     1.9 +* New symbol \<circle>, e.g. for temporal operator.
    1.10 +
    1.11 +
    1.12  *** Isar ***
    1.13  
    1.14  * Command '\<proof>' is an alias for 'sorry', with different