changeset 69042 | 6e9df530b441 |
parent 69037 | 8d8fdbc02912 |
child 69044 | 364c989edb49 |
--- 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"