| changeset 72375 | e48d93811ed7 |
| parent 69658 | 7357a4f79f60 |
| child 76987 | 4c275405faae |
--- a/src/Doc/Codegen/Evaluation.thy Sat Oct 03 23:01:40 2020 +0100 +++ b/src/Doc/Codegen/Evaluation.thy Mon Oct 05 21:15:58 2020 +0200 @@ -3,7 +3,7 @@ begin (*<*) ML \<open> - Isabelle_System.mkdirs (File.tmp_path (Path.basic "examples")) + Isabelle_System.make_directory (File.tmp_path (Path.basic "examples")) \<close> (*>*) section \<open>Evaluation \label{sec:evaluation}\<close>