changeset 70605 | 048cf2096186 |
parent 70599 | 853947643971 |
child 70608 | d997c7ba3305 |
--- a/NEWS Fri Aug 23 13:32:27 2019 +0200 +++ b/NEWS Fri Aug 23 14:32:51 2019 +0200 @@ -23,6 +23,10 @@ * Command 'thm_oracles' prints all oracles used in given theorems, covering the full graph of transitive dependencies. +* Command 'thm_deps' prints immediate theorem dependencies of the given +facts. The former graph visualization has been discontinued, because it +was hardly usable. + *** Isar ***