clarified signature according to Scala version;
authorwenzelm
Tue Sep 19 14:22:51 2017 +0200 (21 months ago)
changeset 66679ed8d359d92e4
parent 66678 ad96222853fc
child 66680 74a1b722507e
clarified signature according to Scala version;
src/Pure/System/isabelle_system.ML
     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