more operations;

more operations;

clarified signature;

more robust treatment of non-UTF8 text files (cf. 3ed43cfc8b14), notably old log files in ISO-8859-15;

hardlink within JVM;
clarified file attributes;

clarified operation: include dirs as well;

clarified file URIs;

more liberal drive letter, for the sake of file:// URLs;

clarified master_dir: file-URL;

clarified modules;

tuned comments;

proper file:// URL for external references;

clarified File.move: target directory like File.copy;

permissive rename operation (amending b265dd04d57d);

clarified modules;

prefer Isabelle standard Path;

more operations;

clarified file operations;

tuned signature;

clarified modules;
afford explicit string composition in terminate_lines;

clarified modules;

--HG--
rename : src/Pure/General/xz_file.scala => src/Pure/General/xz.scala

allow empty string;

clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;

proper SHA1 digest as annex to heap file: Poly/ML reads precise segment length;

more operations;

clarified signature;

clarified treatment of DEL;
tuned signature;

Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
more robust File.bash_escape;
more robust treatment of ML_OPTIONS;
clarified prover args (again);

manage the underlying ML process in Scala;

tuned;

just one File.find_files, based on Java 7 Files operations;

tuned according to ML version;

tuned;

more accurate imitation of "cp -p -f";

clarified, according to Isabelle_System.copy_file in ML;

uniform treatment of bootstrap directories;
Isabelle_System.init() includes Cygwin.init(), e.g. for situations without isabelle.Main;
tuned;

clarified modules, like ML version;

tuned signature, according to ML version;

added update_cartouches tool;

ignore malformed file names outright, e.g. .class files with dollar;

more standard Isabelle_System.tmp_file and tmp_dir operations, in accordance to ML version;

tuned signature;

more general backup files;

separate module XZ_File to avoid initial dependency on org.tukaani.xz;

more scalable File.write via separate chunks;
tuned signature of File.write_xz: prefer defaults over overloading;

prefer preset = 3 -- much faster and less memory requirement;

basic support for xz files;

more permissive File.read_lines, which is relevant for Managed_Process join/kill;

immediate theory progress for build_dialog;
more formal Bash_Result -- accumulate output as lines;

support File.read_gzip as well, in accordance to File.write_gzip;
tuned signature;

explicit module UTF8;

more robust File.eq, and thus File.copy of "~~/lib/logo/isabelle.gif";

physical File.eq in conformance to Isabelle/ML;

more direct File.read_bytes -- avoid cumulative copying of StringBuilder;

clarified directory content operations (similar to ML version);

tuned signature;

read/write dependency information;
tuned signature;

some actual build function on ML side;
further imitation of "usedir" shell script;

more abstract file system operations in Scala, corresponding to ML version;