NEWS

--- a/NEWS	Sun Sep 23 19:59:32 2018 +0200
+++ b/NEWS	Sun Sep 23 19:59:53 2018 +0200
@@ -7,6 +7,12 @@
 New in this Isabelle version
 ----------------------------
 
+*** General ***
+
+* Old-style inner comments (* ... *) within the term language are no
+longer supported (legacy feature in Isabelle2018).
+
+
 *** System ***
 
 * Isabelle server command "use_theories" supports "nodes_status_delay"