Ant S. (Apr 13 2026 at 22:11): Ant S. (Apr 13 2026 at 22:11):How do I open the graph browser that shows a dependency chart between files and locales from within jEdit? I looked at the isabelle system manual and tried to use isabelle browser but I don't see how it generates the graph, since it seems to take a dependency graph as input. I looked at the jEdit manual but cannot seem to remember where the dependency graph between files and locales is visualized
Ant S. (Apr 14 2026 at 08:47):I see that what I found on the Isabelle browser was from a much older version of the Isabelle manual (c. 2013) -- can this still be done now?
Ant S. (Apr 14 2026 at 09:21):Ok, so I found it it's called thy_deps and class_deps -- why is there no locale_deps?
Last updated: Apr 14 2026 at 09:21 UTC