NEWS
changeset 66688 ebb97a834338
parent 66662 4b10fa05423b
parent 66671 41b64e53b6a1
child 66712 4c98c929a12a
     1.1 --- a/NEWS	Fri Sep 22 14:14:41 2017 -0300
     1.2 +++ b/NEWS	Sat Sep 23 20:09:16 2017 +0200
     1.3 @@ -126,7 +126,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
    1.12 @@ -316,7 +316,7 @@
    1.13  serves as example for alternative PIDE front-ends.
    1.14  
    1.15  * Command-line tool "isabelle imports" helps to maintain theory imports
    1.16 -wrt. session structure. Examples:
    1.17 +wrt. session structure. Examples for the main Isabelle distribution:
    1.18  
    1.19    isabelle imports -I -a
    1.20    isabelle imports -U -a