src/Pure/System/isabelle_system.ML
2010-12-20 wenzelm 2010-12-20 slightly more standard Isabelle_System.with_tmp_file/with_tmp_dir (cf. Scala version); more robust rm_tree -- somewhat dangerous and not exported; tuned;
2010-11-28 wenzelm 2010-11-28 more permissive Isabelle_System.mkdir; exported File.is_dir (weak test);
2010-11-27 wenzelm 2010-11-27 more basic Isabelle_System.mkdir;
2010-11-27 wenzelm 2010-11-27 more explicit Isabelle_System operations;