changeset 73322 | 5b15eee1a661 |
parent 73314 | 87403fde8cc3 |
child 73323 | c2ab1a970e82 |
--- a/src/Pure/System/scala.scala Sat Feb 27 20:49:38 2021 +0100 +++ b/src/Pure/System/scala.scala Sat Feb 27 21:01:07 2021 +0100 @@ -246,4 +246,7 @@ Bash.Process, Bibtex.Check_Database, Isabelle_System.Make_Directory, + Isabelle_System.Copy_Dir, + Isabelle_System.Copy_File, + Isabelle_System.Copy_File_Base, Isabelle_Tool.Isabelle_Tools)