| changeset 68803 | 169bf32b35dd |
| parent 68796 | 9ca183045102 |
| child 68824 | 7414ce0256e1 |
--- a/NEWS Fri Aug 24 20:22:14 2018 +0000 +++ b/NEWS Sat Aug 25 10:29:31 2018 +0200 @@ -23,6 +23,13 @@ retained as migration auxiliary. INCOMPATIBILITY. +*** ML *** + +* Original PolyML.pointerEq is retained as a convenience for tools that +don't use Isabelle/ML (where this is called "pointer_eq"). + + + New in Isabelle2018 (August 2018) ---------------------------------