NEWS
changeset 66757 e32750d7acb4
parent 66745 e7ac579b883c
child 66759 918f15c9367a
     1.1 --- a/NEWS	Mon Oct 02 18:35:51 2017 +0200
     1.2 +++ b/NEWS	Mon Oct 02 19:28:18 2017 +0200
     1.3 @@ -14,6 +14,10 @@
     1.4  INCOMPATIBILITY for old developments that have not been updated to
     1.5  Isabelle2017 yet (using the "isabelle imports" tool).
     1.6  
     1.7 +* Command 'external_file' declares the formal dependency on the given
     1.8 +file name, such that the Isabelle build process knows about it, but
     1.9 +without specific Prover IDE management.
    1.10 +
    1.11  
    1.12  *** HOL ***
    1.13