src/Pure/System/isabelle_tool.scala
changeset 62832 c1410bcf6e87
parent 62831 5560905a32ae
child 62833 29dfa2ed9343
--- a/src/Pure/System/isabelle_tool.scala	Sun Apr 03 22:31:16 2016 +0200
+++ b/src/Pure/System/isabelle_tool.scala	Sun Apr 03 22:36:11 2016 +0200
@@ -69,6 +69,7 @@
     }
 
   register(Doc.isabelle_tool)
+  register(Options.isabelle_tool)
 
 
   /* command line entry point */