equal
deleted
inserted
replaced
170 isabelle.vscode.Server.isabelle_tool) |
170 isabelle.vscode.Server.isabelle_tool) |
171 |
171 |
172 class Admin_Tools extends Isabelle_Scala_Tools( |
172 class Admin_Tools extends Isabelle_Scala_Tools( |
173 Build_Cygwin.isabelle_tool, |
173 Build_Cygwin.isabelle_tool, |
174 Build_Doc.isabelle_tool, |
174 Build_Doc.isabelle_tool, |
|
175 Build_E.isabelle_tool, |
175 Build_Fonts.isabelle_tool, |
176 Build_Fonts.isabelle_tool, |
176 Build_JDK.isabelle_tool, |
177 Build_JDK.isabelle_tool, |
177 Build_PolyML.isabelle_tool1, |
178 Build_PolyML.isabelle_tool1, |
178 Build_PolyML.isabelle_tool2, |
179 Build_PolyML.isabelle_tool2, |
179 Build_SQLite.isabelle_tool, |
180 Build_SQLite.isabelle_tool, |