changeset 62836 | 98dbed6cfa44 |
parent 62835 | 1a9ce1b13b20 |
child 62838 | c91ca9935280 |
--- a/src/Pure/System/isabelle_tool.scala Sun Apr 03 22:54:31 2016 +0200 +++ b/src/Pure/System/isabelle_tool.scala Sun Apr 03 23:01:39 2016 +0200 @@ -73,6 +73,10 @@ register(Doc.isabelle_tool) register(ML_Process.isabelle_tool) register(Options.isabelle_tool) + register(Update_Cartouches.isabelle_tool) + register(Update_Header.isabelle_tool) + register(Update_Then.isabelle_tool) + register(Update_Theorems.isabelle_tool) /* command line entry point */