changeset 76514 | 2615cf68f6f4 |
parent 76351 | 2cee31cd92f0 |
child 76537 | cdbe20024038 |
--- a/src/Pure/System/scala.scala Sun Nov 13 14:56:24 2022 +0100 +++ b/src/Pure/System/scala.scala Sun Nov 13 20:28:39 2022 +0100 @@ -383,4 +383,6 @@ Isabelle_System.Isabelle_Id, Isabelle_Tool.Isabelle_Tools, isabelle.atp.SystemOnTPTP.List_Systems, - isabelle.atp.SystemOnTPTP.Run_System) + isabelle.atp.SystemOnTPTP.Run_System, + Prismjs.Languages, + Prismjs.Tokenize)