NEWS
changeset 69287 94fa3376ba33
parent 69282 258bef08b31e
child 69324 248696d0a05f
     1.1 --- a/NEWS	Sat Nov 10 19:01:20 2018 +0100
     1.2 +++ b/NEWS	Sat Nov 10 19:39:38 2018 +0100
     1.3 @@ -114,6 +114,9 @@
     1.4    |> writeln
     1.5  \<close>
     1.6  
     1.7 +* ML antiquotation @{master_dir} refers to the master directory of the
     1.8 +underlying theory, i.e. the directory of the theory file.
     1.9 +
    1.10  
    1.11  *** System ***
    1.12