--- a/src/Pure/System/isabelle_tool.scala Sun Apr 03 22:42:15 2016 +0200
+++ b/src/Pure/System/isabelle_tool.scala Sun Apr 03 22:45:40 2016 +0200
@@ -69,6 +69,7 @@
}
register(Build.isabelle_tool)
+ register(Check_Sources.isabelle_tool)
register(Doc.isabelle_tool)
register(Options.isabelle_tool)