tuned NEWS; Isabelle2020
authorwenzelm
Mon Apr 13 22:08:14 2020 +0200 (3 months ago)
changeset 71751abf3e80bd815
parent 71750 f39b1afe8845
child 71752 5d360394f292
tuned NEWS;
NEWS
     1.1 --- a/NEWS	Sun Apr 12 16:59:49 2020 +0200
     1.2 +++ b/NEWS	Mon Apr 13 22:08:14 2020 +0200
     1.3 @@ -234,7 +234,7 @@
     1.4  "bar(2)", "bar(3)" for multi-facts. Theorem dependencies are now
     1.5  exported as well: this spans an overall dependency graph of internal
     1.6  inferences; it might help to reconstruct the formal structure of theory
     1.7 -libraries. See also the module Export_Theory in Isabelle/Scala.
     1.8 +libraries. See also the module isabelle.Export_Theory in Isabelle/Scala.
     1.9  
    1.10  * Theory export of structured specifications, based on internal
    1.11  declarations of Spec_Rules by packages like 'definition', 'inductive',