--- a/NEWS Sat Nov 10 19:01:20 2018 +0100
+++ b/NEWS Sat Nov 10 19:39:38 2018 +0100
@@ -114,6 +114,9 @@
|> writeln
\<close>
+* ML antiquotation @{master_dir} refers to the master directory of the
+underlying theory, i.e. the directory of the theory file.
+
*** System ***