Mon, 11 Jul 2022 15:22:17 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 01 Jun 2022 10:07:00 +0200 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Fri, 04 Mar 2022 22:50:58 +0100 |
wenzelm |
tuned signature: more robust operation;
|
file |
diff |
annotate
|
Thu, 03 Mar 2022 19:51:00 +0100 |
wenzelm |
proper init of non-existing file;
|
file |
diff |
annotate
|
Thu, 03 Mar 2022 17:30:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 03 Mar 2022 17:13:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 03 Mar 2022 17:11:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 17 Nov 2021 12:55:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Thu, 08 Jul 2021 13:34:12 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 01 Jul 2021 13:46:42 +0200 |
wenzelm |
clarified modules and signatures;
|
file |
diff |
annotate
|
Wed, 30 Jun 2021 20:57:38 +0200 |
wenzelm |
support for Isabelle setup in pure Java;
|
file |
diff |
annotate
|
Wed, 30 Jun 2021 15:35:39 +0200 |
wenzelm |
clarified package: towards stand-alone setup;
|
file |
diff |
annotate
|
Wed, 30 Jun 2021 13:25:35 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 10 May 2021 22:18:12 +0200 |
wenzelm |
put more resources into jedit_build component;
|
file |
diff |
annotate
|
Wed, 05 May 2021 13:27:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 12 Apr 2021 22:41:51 +0200 |
wenzelm |
clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);
|
file |
diff |
annotate
|
Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Sat, 27 Feb 2021 19:42:44 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 27 Feb 2021 18:04:29 +0100 |
wenzelm |
clarified modules: more like ML;
|
file |
diff |
annotate
|
Wed, 25 Nov 2020 12:34:08 +0100 |
wenzelm |
clarified: more uniform;
|
file |
diff |
annotate
|
Wed, 11 Nov 2020 20:55:25 +0100 |
wenzelm |
more operations (as in Isabelle/ML);
|
file |
diff |
annotate
|
Sun, 11 Oct 2020 14:01:32 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 05 Oct 2020 22:49:46 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 15 Jul 2020 12:30:25 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
Mon, 09 Mar 2020 19:35:07 +0100 |
wenzelm |
more scalable output of YXML files;
|
file |
diff |
annotate
|
Wed, 15 Jan 2020 13:22:16 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Thu, 14 Nov 2019 11:35:02 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 04 Feb 2019 16:01:44 +0100 |
wenzelm |
more thorough File.set_executable, notably for Windows;
|
file |
diff |
annotate
|
Mon, 04 Feb 2019 15:45:40 +0100 |
wenzelm |
added executable flag for exports;
|
file |
diff |
annotate
|
Thu, 20 Dec 2018 22:56:36 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 08 Dec 2018 21:13:47 +0100 |
wenzelm |
clarified operations: uniform sorting of results;
|
file |
diff |
annotate
|
Wed, 05 Dec 2018 22:46:44 +0100 |
wenzelm |
more direct File.executable operation: avoid external process (on Unix);
|
file |
diff |
annotate
|
Wed, 05 Dec 2018 21:15:18 +0100 |
wenzelm |
more direct File.link operation: avoid external process;
|
file |
diff |
annotate
|
Mon, 03 Dec 2018 14:59:42 +0100 |
wenzelm |
static type for Library.using: avoid Java 11 warnings on "Illegal reflective access";
|
file |
diff |
annotate
|
Wed, 14 Nov 2018 20:04:39 +0100 |
wenzelm |
more uniform find_files, notably for symlinks;
|
file |
diff |
annotate
|
Wed, 14 Nov 2018 16:26:58 +0100 |
wenzelm |
is_file/is_dir/read_dir: more uniform treatment of errors and boundary cases, notably for symlinks in ssh;
|
file |
diff |
annotate
|
Wed, 14 Nov 2018 11:51:03 +0100 |
wenzelm |
clarified default (amending 72a9860f8602): avoid implicit change of File.find_files (it can have bad effects e.g. on "isabelle update_cartouches");
|
file |
diff |
annotate
|
Tue, 13 Nov 2018 12:37:46 +0100 |
wenzelm |
clarified find_files: follow links by default, e.g. relevant for "~/cronjob/log";
|
file |
diff |
annotate
|
Tue, 26 Sep 2017 16:12:21 +0200 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
Fri, 30 Jun 2017 14:17:48 +0200 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
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
|