| Fri, 30 Jun 2017 14:01:55 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 26 Apr 2017 16:13:05 +0200 |
wenzelm |
more robust treatment of non-UTF8 text files (cf. 3ed43cfc8b14), notably old log files in ISO-8859-15;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 15:02:06 +0100 |
wenzelm |
hardlink within JVM;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 13:11:38 +0100 |
wenzelm |
clarified operation: include dirs as well;
|
file |
diff |
annotate
|
| Wed, 04 Jan 2017 12:03:45 +0100 |
wenzelm |
clarified file URIs;
|
file |
diff |
annotate
|
| Tue, 03 Jan 2017 14:45:50 +0100 |
wenzelm |
more liberal drive letter, for the sake of file:// URLs;
|
file |
diff |
annotate
|
| Tue, 03 Jan 2017 14:17:03 +0100 |
wenzelm |
clarified master_dir: file-URL;
|
file |
diff |
annotate
|
| Sun, 01 Jan 2017 11:47:27 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 29 Dec 2016 14:43:25 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2016 20:06:54 +0100 |
wenzelm |
proper file:// URL for external references;
|
file |
diff |
annotate
|
| Thu, 10 Nov 2016 21:54:58 +0100 |
wenzelm |
clarified File.move: target directory like File.copy;
|
file |
diff |
annotate
|
| Sat, 22 Oct 2016 16:39:27 +0200 |
wenzelm |
permissive rename operation (amending b265dd04d57d);
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 16:03:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 11:38:03 +0200 |
wenzelm |
prefer Isabelle standard Path;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 21:34:52 +0200 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 20:53:10 +0200 |
wenzelm |
clarified file operations;
|
file |
diff |
annotate
|
| Mon, 03 Oct 2016 12:24:22 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 03 Oct 2016 10:51:51 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 02 Oct 2016 22:05:40 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 04 Apr 2016 20:45:54 +0200 |
wenzelm |
allow empty string;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 21:32:57 +0200 |
wenzelm |
clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
|
file |
diff |
annotate
|
| Thu, 24 Mar 2016 14:55:43 +0100 |
wenzelm |
proper SHA1 digest as annex to heap file: Poly/ML reads precise segment length;
|
file |
diff |
annotate
|
| Thu, 24 Mar 2016 13:22:02 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Wed, 16 Mar 2016 14:24:51 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 20:44:47 +0100 |
wenzelm |
clarified treatment of DEL;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 18:20:22 +0100 |
wenzelm |
Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 15:21:50 +0100 |
wenzelm |
manage the underlying ML process in Scala;
|
file |
diff |
annotate
|
| Sun, 28 Feb 2016 14:48:38 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 28 Feb 2016 14:33:53 +0100 |
wenzelm |
just one File.find_files, based on Java 7 Files operations;
|
file |
diff |
annotate
|
| Sat, 13 Feb 2016 19:52:56 +0100 |
wenzelm |
tuned according to ML version;
|
file |
diff |
annotate
|