equal
deleted
inserted
replaced
99 |
99 |
100 private val internal_tools: List[Isabelle_Tool] = |
100 private val internal_tools: List[Isabelle_Tool] = |
101 List( |
101 List( |
102 Build.isabelle_tool, |
102 Build.isabelle_tool, |
103 Build_Doc.isabelle_tool, |
103 Build_Doc.isabelle_tool, |
104 Build_PolyML.isabelle_tool, |
|
105 Build_Stats.isabelle_tool, |
104 Build_Stats.isabelle_tool, |
106 Check_Sources.isabelle_tool, |
105 Check_Sources.isabelle_tool, |
107 Doc.isabelle_tool, |
106 Doc.isabelle_tool, |
108 ML_Process.isabelle_tool, |
107 ML_Process.isabelle_tool, |
109 NEWS.isabelle_tool, |
108 NEWS.isabelle_tool, |