--- a/src/Pure/System/isabelle_tool.scala Sun Apr 03 22:15:40 2016 +0200
+++ b/src/Pure/System/isabelle_tool.scala Sun Apr 03 22:31:16 2016 +0200
@@ -68,6 +68,8 @@
args => Command_Line.tool0 { isabelle_tool.body(args) }))
}
+ register(Doc.isabelle_tool)
+
/* command line entry point */