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?
Ant S. (Apr 14 2026 at 09:21):And how exactly do I manually open graphview? Either I'm not pdfgreping the documentation correctly or it is just not there
Maximilian Schäffeler (Apr 14 2026 at 09:24):There is locale_deps in Isabelle/jEdit (Isabelle2025-2)
Ant S. (Apr 14 2026 at 09:24):oh
Ant S. (Apr 14 2026 at 09:25):I'm still on Isabelle2025, that explains it
Ant S. (Apr 14 2026 at 11:55):Wait, Isabelle2025 also has locale_deps, nevermind
Ant S. (Apr 14 2026 at 11:55):What's the easiest way to navigate a locale graph, it's kinda messy in GraphView
Ant S. (Apr 14 2026 at 11:56):I tried exporting it to a PostScript file but it's a quite involved jumble of wires
Ant S. (Apr 15 2026 at 08:32):Following up on this, is there a nicer tool to navigate locales or is it just expected to be a giant web (this is also true in Isabelle2025-2)
Last updated: May 05 2026 at 02:56 UTC