equal
deleted
inserted
replaced
2 |
2 |
3 {- Title: Tools/Haskell/File.hs |
3 {- Title: Tools/Haskell/File.hs |
4 Author: Makarius |
4 Author: Makarius |
5 LICENSE: BSD 3-clause (Isabelle) |
5 LICENSE: BSD 3-clause (Isabelle) |
6 |
6 |
7 File-system operations |
7 File-system operations. |
|
8 |
|
9 See also "$ISABELLE_HOME/src/Pure/General/file.ML". |
8 -} |
10 -} |
9 |
11 |
10 module Isabelle.File (setup, read, write, append) where |
12 module Isabelle.File (setup, read, write, append) where |
11 |
13 |
12 import Prelude hiding (read) |
14 import Prelude hiding (read) |