--- a/src/Pure/Isar/isar_syn.ML Wed Sep 26 14:13:07 2012 +0200
+++ b/src/Pure/Isar/isar_syn.ML Wed Sep 26 14:23:33 2012 +0200
@@ -858,6 +858,10 @@
(Scan.succeed (Toplevel.no_timing o Isar_Cmd.thy_deps));
val _ =
+ Outer_Syntax.improper_command @{command_spec "locale_deps"} "visualize locale dependencies"
+ (Scan.succeed (Toplevel.no_timing o Isar_Cmd.locale_deps));
+
+val _ =
Outer_Syntax.improper_command @{command_spec "class_deps"} "visualize class dependencies"
(Scan.succeed (Toplevel.no_timing o Isar_Cmd.class_deps));