spelling
authorhaftmann
Mon Sep 11 17:55:42 2017 +0200 (20 months ago)
changeset 66665ec78c84bfc44
parent 66664 91fc9816a86f
child 66666 1a620647285c
spelling
NEWS
     1.1 --- a/NEWS	Mon Sep 11 18:36:13 2017 +0200
     1.2 +++ b/NEWS	Mon Sep 11 17:55:42 2017 +0200
     1.3 @@ -116,7 +116,7 @@
     1.4  * Deleting the last code equations for a particular function using
     1.5  [code del] results in function with no equations (runtime abort) rather
     1.6  than an unimplemented function (generation time abort). Use explicit
     1.7 -[[code drop:]] to enforce the latter. Minor INCOMPATIBILTIY.
     1.8 +[[code drop:]] to enforce the latter. Minor INCOMPATIBILITY.
     1.9  
    1.10  * Proper concept of code declarations in code.ML:
    1.11    - Regular code declarations act only on the global theory level, being