equal
deleted
inserted
replaced
4 Isabelle system support. |
4 Isabelle system support. |
5 *) |
5 *) |
6 |
6 |
7 signature ISABELLE_SYSTEM = |
7 signature ISABELLE_SYSTEM = |
8 sig |
8 sig |
|
9 val rm_tree: Path.T -> unit |
9 val mkdirs: Path.T -> unit |
10 val mkdirs: Path.T -> unit |
10 val mkdir: Path.T -> unit |
11 val mkdir: Path.T -> unit |
11 val copy_dir: Path.T -> Path.T -> unit |
12 val copy_dir: Path.T -> Path.T -> unit |
12 val copy_file: Path.T -> Path.T -> unit |
13 val copy_file: Path.T -> Path.T -> unit |
13 val copy_file_base: Path.T * Path.T -> Path.T -> unit |
14 val copy_file_base: Path.T * Path.T -> Path.T -> unit |