changeset 62440 | 31fa592761da |
parent 62430 | 9527ff088c15 |
child 62451 | 040b94ffbdde |
--- 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