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