# HG changeset patch
# User wenzelm
# Date 1586808494 -7200
# Node ID abf3e80bd815c2c062b02c78b256f7ba27481380
# Parent  f39b1afe88450f34768732550b23b01485d382f5
tuned NEWS;

diff -r f39b1afe8845 -r abf3e80bd815 NEWS
--- a/NEWS	Sun Apr 12 16:59:49 2020 +0200
+++ b/NEWS	Mon Apr 13 22:08:14 2020 +0200
@@ -234,7 +234,7 @@
 "bar(2)", "bar(3)" for multi-facts. Theorem dependencies are now
 exported as well: this spans an overall dependency graph of internal
 inferences; it might help to reconstruct the formal structure of theory
-libraries. See also the module Export_Theory in Isabelle/Scala.
+libraries. See also the module isabelle.Export_Theory in Isabelle/Scala.
 
 * Theory export of structured specifications, based on internal
 declarations of Spec_Rules by packages like 'definition', 'inductive',