changeset 73431 | f27d7b12e8a4 |
parent 73419 | 22f3f2117ed7 |
child 73523 | 2cd23d587db9 |
--- a/src/Pure/System/scala.scala Sun Mar 14 13:21:59 2021 +0100 +++ b/src/Pure/System/scala.scala Sun Mar 14 15:28:44 2021 +0100 @@ -260,4 +260,5 @@ Isabelle_System.Rm_Tree, Isabelle_System.Download, Isabelle_Tool.Isabelle_Tools, - isabelle.atp.SystemOnTPTP.List_Systems) + isabelle.atp.SystemOnTPTP.List_Systems, + isabelle.atp.SystemOnTPTP.Run_System)