src/Pure/System/isabelle_tool.scala
changeset 64311 3d5e7719e878
parent 64304 96bc94c87a81
child 64369 6a9816764b37
     1.1 --- a/src/Pure/System/isabelle_tool.scala	Wed Oct 19 16:30:24 2016 +0200
     1.2 +++ b/src/Pure/System/isabelle_tool.scala	Wed Oct 19 17:03:44 2016 +0200
     1.3 @@ -106,6 +106,7 @@
     1.4        Doc.isabelle_tool,
     1.5        ML_Process.isabelle_tool,
     1.6        Options.isabelle_tool,
     1.7 +      Profiling_Report.isabelle_tool,
     1.8        Remote_DMG.isabelle_tool,
     1.9        Update_Cartouches.isabelle_tool,
    1.10        Update_Header.isabelle_tool,