src/Pure/System/isabelle_tool.scala
changeset 62836 98dbed6cfa44
parent 62835 1a9ce1b13b20
child 62838 c91ca9935280
     1.1 --- a/src/Pure/System/isabelle_tool.scala	Sun Apr 03 22:54:31 2016 +0200
     1.2 +++ b/src/Pure/System/isabelle_tool.scala	Sun Apr 03 23:01:39 2016 +0200
     1.3 @@ -73,6 +73,10 @@
     1.4    register(Doc.isabelle_tool)
     1.5    register(ML_Process.isabelle_tool)
     1.6    register(Options.isabelle_tool)
     1.7 +  register(Update_Cartouches.isabelle_tool)
     1.8 +  register(Update_Header.isabelle_tool)
     1.9 +  register(Update_Then.isabelle_tool)
    1.10 +  register(Update_Theorems.isabelle_tool)
    1.11  
    1.12  
    1.13    /* command line entry point */