src/Pure/System/isabelle_system.ML
changeset 66679 ed8d359d92e4
parent 62829 4141c2a8458b
child 70050 5b66e6672ccf
     1.1 --- a/src/Pure/System/isabelle_system.ML	Mon Sep 18 18:26:55 2017 +0200
     1.2 +++ b/src/Pure/System/isabelle_system.ML	Tue Sep 19 14:22:51 2017 +0200
     1.3 @@ -6,6 +6,7 @@
     1.4  
     1.5  signature ISABELLE_SYSTEM =
     1.6  sig
     1.7 +  val rm_tree: Path.T -> unit
     1.8    val mkdirs: Path.T -> unit
     1.9    val mkdir: Path.T -> unit
    1.10    val copy_dir: Path.T -> Path.T -> unit