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