--- a/NEWS Sun Feb 28 15:57:03 2016 +0100 +++ b/NEWS Sun Feb 28 17:37:20 2016 +0100 @@ -11,6 +11,9 @@ * New symbol \<circle>, e.g. for temporal operator. +* Old 'header' command is no longer supported (legacy since +Isabelle2015). + *** Isar ***