#
bae053f6 |
|
26-Sep-2017 |
wenzelm <none@none> |
more operations;
|
#
08692a9b |
|
30-Jun-2017 |
wenzelm <none@none> |
more operations;
|
#
a51ef242 |
|
30-Jun-2017 |
wenzelm <none@none> |
clarified signature;
|
#
04c92291 |
|
26-Apr-2017 |
wenzelm <none@none> |
more robust treatment of non-UTF8 text files (cf. 3ed43cfc8b14), notably old log files in ISO-8859-15;
|
#
f84d64d3 |
|
22-Jan-2017 |
wenzelm <none@none> |
hardlink within JVM; clarified file attributes;
|
#
8586eaa9 |
|
22-Jan-2017 |
wenzelm <none@none> |
clarified operation: include dirs as well;
|
#
d277e44b |
|
03-Jan-2017 |
wenzelm <none@none> |
clarified file URIs;
|
#
87d2af9e |
|
03-Jan-2017 |
wenzelm <none@none> |
more liberal drive letter, for the sake of file:// URLs;
|
#
73946bbf |
|
03-Jan-2017 |
wenzelm <none@none> |
clarified master_dir: file-URL;
|
#
b0986b49 |
|
01-Jan-2017 |
wenzelm <none@none> |
clarified modules;
|
#
3bf0257e |
|
29-Dec-2016 |
wenzelm <none@none> |
tuned comments;
|
#
052b3474 |
|
23-Dec-2016 |
wenzelm <none@none> |
proper file:// URL for external references;
|
#
95ee66c5 |
|
10-Nov-2016 |
wenzelm <none@none> |
clarified File.move: target directory like File.copy;
|
#
388a9aca |
|
22-Oct-2016 |
wenzelm <none@none> |
permissive rename operation (amending b265dd04d57d);
|
#
61f649e7 |
|
18-Oct-2016 |
wenzelm <none@none> |
clarified modules;
|
#
c38caa64 |
|
15-Oct-2016 |
wenzelm <none@none> |
prefer Isabelle standard Path;
|
#
8809ccb9 |
|
14-Oct-2016 |
wenzelm <none@none> |
more operations;
|
#
06cdbe11 |
|
14-Oct-2016 |
wenzelm <none@none> |
clarified file operations;
|
#
d94f1804 |
|
02-Oct-2016 |
wenzelm <none@none> |
tuned signature;
|
#
ba50f7ff |
|
03-Oct-2016 |
wenzelm <none@none> |
clarified modules; afford explicit string composition in terminate_lines;
|
#
eb268ed1 |
|
02-Oct-2016 |
wenzelm <none@none> |
clarified modules; --HG-- rename : src/Pure/General/xz_file.scala => src/Pure/General/xz.scala
|
#
22cb7ea8 |
|
04-Apr-2016 |
wenzelm <none@none> |
allow empty string;
|
#
4d17f0a5 |
|
03-Apr-2016 |
wenzelm <none@none> |
clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
|
#
3c58cd3c |
|
24-Mar-2016 |
wenzelm <none@none> |
proper SHA1 digest as annex to heap file: Poly/ML reads precise segment length;
|
#
a0da4f23 |
|
24-Mar-2016 |
wenzelm <none@none> |
more operations;
|
#
fb8b824a |
|
16-Mar-2016 |
wenzelm <none@none> |
clarified signature;
|
#
0f673750 |
|
07-Mar-2016 |
wenzelm <none@none> |
clarified treatment of DEL; tuned signature;
|
#
f7c7fe0b |
|
07-Mar-2016 |
wenzelm <none@none> |
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);
|
#
2e173094 |
|
07-Mar-2016 |
wenzelm <none@none> |
manage the underlying ML process in Scala;
|
#
8d4197f8 |
|
28-Feb-2016 |
wenzelm <none@none> |
tuned;
|
#
52247b7e |
|
28-Feb-2016 |
wenzelm <none@none> |
just one File.find_files, based on Java 7 Files operations;
|
#
5bd5afe4 |
|
13-Feb-2016 |
wenzelm <none@none> |
tuned according to ML version;
|
#
9312e4cc |
|
29-Dec-2015 |
wenzelm <none@none> |
tuned;
|
#
9b80aafb |
|
09-Oct-2015 |
wenzelm <none@none> |
more accurate imitation of "cp -p -f";
|
#
6c58df09 |
|
09-Oct-2015 |
wenzelm <none@none> |
clarified, according to Isabelle_System.copy_file in ML;
|
#
4ecf5a2f |
|
30-Sep-2015 |
wenzelm <none@none> |
uniform treatment of bootstrap directories; Isabelle_System.init() includes Cygwin.init(), e.g. for situations without isabelle.Main; tuned;
|
#
b39e50ff |
|
20-Aug-2015 |
wenzelm <none@none> |
clarified modules, like ML version;
|
#
376e854a |
|
20-Aug-2015 |
wenzelm <none@none> |
tuned signature, according to ML version;
|
#
23a91b2f |
|
07-Oct-2014 |
wenzelm <none@none> |
added update_cartouches tool;
|
#
6d7b1e06 |
|
29-Apr-2014 |
wenzelm <none@none> |
ignore malformed file names outright, e.g. .class files with dollar;
|
#
d07366e0 |
|
05-Apr-2014 |
wenzelm <none@none> |
more standard Isabelle_System.tmp_file and tmp_dir operations, in accordance to ML version;
|
#
9fed4e18 |
|
14-Nov-2013 |
wenzelm <none@none> |
tuned signature;
|
#
96cb2114 |
|
30-Aug-2013 |
wenzelm <none@none> |
more general backup files;
|
#
9587109c |
|
15-Jul-2013 |
wenzelm <none@none> |
separate module XZ_File to avoid initial dependency on org.tukaani.xz;
|
#
013d6d58 |
|
14-May-2013 |
wenzelm <none@none> |
more scalable File.write via separate chunks; tuned signature of File.write_xz: prefer defaults over overloading;
|
#
80372317 |
|
24-Mar-2013 |
wenzelm <none@none> |
prefer preset = 3 -- much faster and less memory requirement;
|
#
bde980b6 |
|
24-Mar-2013 |
wenzelm <none@none> |
basic support for xz files;
|
#
b888ad20 |
|
22-Feb-2013 |
wenzelm <none@none> |
more permissive File.read_lines, which is relevant for Managed_Process join/kill;
|
#
2bc863cd |
|
12-Jan-2013 |
wenzelm <none@none> |
immediate theory progress for build_dialog; more formal Bash_Result -- accumulate output as lines;
|
#
a7aa8b95 |
|
02-Jan-2013 |
wenzelm <none@none> |
support File.read_gzip as well, in accordance to File.write_gzip; tuned signature;
|
#
44145955 |
|
25-Nov-2012 |
wenzelm <none@none> |
explicit module UTF8;
|
#
0905923e |
|
30-Sep-2012 |
wenzelm <none@none> |
more robust File.eq, and thus File.copy of "~~/lib/logo/isabelle.gif";
|
#
aa76da14 |
|
27-Sep-2012 |
wenzelm <none@none> |
physical File.eq in conformance to Isabelle/ML;
|
#
106d1ce3 |
|
23-Aug-2012 |
wenzelm <none@none> |
more direct File.read_bytes -- avoid cumulative copying of StringBuilder;
|
#
b29d6c8d |
|
30-Jul-2012 |
wenzelm <none@none> |
clarified directory content operations (similar to ML version);
|
#
048afde4 |
|
27-Jul-2012 |
wenzelm <none@none> |
tuned signature;
|
#
1b861592 |
|
24-Jul-2012 |
wenzelm <none@none> |
read/write dependency information; tuned signature;
|
#
19f189d0 |
|
21-Jul-2012 |
wenzelm <none@none> |
some actual build function on ML side; further imitation of "usedir" shell script;
|
#
61cebe5b |
|
20-Jul-2012 |
wenzelm <none@none> |
more abstract file system operations in Scala, corresponding to ML version;
|