equal
deleted
inserted
replaced
59 \<^path>\<open>Pretty.hs\<close>, |
59 \<^path>\<open>Pretty.hs\<close>, |
60 \<^path>\<open>Term.hs\<close>, |
60 \<^path>\<open>Term.hs\<close>, |
61 \<^path>\<open>Term_XML/Encode.hs\<close>, |
61 \<^path>\<open>Term_XML/Encode.hs\<close>, |
62 \<^path>\<open>Term_XML/Decode.hs\<close>]; |
62 \<^path>\<open>Term_XML/Decode.hs\<close>]; |
63 |
63 |
64 val master_dir = Resources.master_directory \<^theory>; |
|
65 |
|
66 fun install_sources dir = |
64 fun install_sources dir = |
67 sources |> List.app (fn path => Isabelle_System.copy_file_base (master_dir, path) dir); |
65 sources |> List.app (fn path => Isabelle_System.copy_file_base (\<^master_dir>, path) dir); |
68 |
66 |
69 end; |
67 end; |