| Sun, 05 Apr 2020 21:05:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 18 Mar 2020 18:06:36 +0100 |
wenzelm |
more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);
|
file |
diff |
annotate
|
| Fri, 06 Mar 2020 20:18:21 +0100 |
wenzelm |
support Java/VM monitoring via jconsole;
|
file |
diff |
annotate
|
| Thu, 09 Jan 2020 13:44:16 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Thu, 14 Nov 2019 13:40:21 +0100 |
wenzelm |
clarified signature: allow compound arg;
|
file |
diff |
annotate
|
| Thu, 14 Nov 2019 12:42:06 +0100 |
wenzelm |
more portable;
|
file |
diff |
annotate
|
| Thu, 14 Nov 2019 11:35:02 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2018 14:58:56 +0100 |
wenzelm |
clarified gnutar options: more uniform owner;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 11:28:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 10 Nov 2018 14:08:02 +0100 |
wenzelm |
support for user-defined Isabelle/Scala command-line tools;
|
file |
diff |
annotate
|
| Sun, 21 Oct 2018 18:32:33 +0200 |
wenzelm |
eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
|
file |
diff |
annotate
|
| Thu, 13 Sep 2018 16:30:07 +0200 |
wenzelm |
more robust: avoid race condition wrt. cleanup of ML process, e.g. relevant for "$ISABELLE_TMP/rat.ML" in theory Codegen.Further;
|
file |
diff |
annotate
|
| Sat, 09 Jun 2018 13:19:57 +0200 |
wenzelm |
tuned -- use existing operation;
|
file |
diff |
annotate
|
| Thu, 22 Mar 2018 17:00:48 +0100 |
wenzelm |
clarified signature: flexible base_dir;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2018 22:28:20 +0100 |
wenzelm |
more accurate isabelle_id: parent directory is not necessarily at tip;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2018 11:44:07 +0100 |
wenzelm |
more uniform id;
|
file |
diff |
annotate
|
| Mon, 12 Mar 2018 11:17:59 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Fri, 09 Feb 2018 17:57:36 +0100 |
wenzelm |
more robust: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
|
file |
diff |
annotate
|
| Wed, 24 May 2017 11:39:00 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 09 May 2017 21:06:11 +0200 |
wenzelm |
more robust update of generated directory;
|
file |
diff |
annotate
|
| Thu, 04 May 2017 14:58:19 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2017 17:08:18 +0100 |
wenzelm |
more robust: tmp files might get deleted concurrently in ML vs. Scala process;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2017 15:56:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 16:15:08 +0100 |
wenzelm |
insist in proper GNU tar, to avoid subtle semantic differences;
|
file |
diff |
annotate
|
| Thu, 22 Dec 2016 11:38:16 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 01 Nov 2016 19:43:13 +0100 |
wenzelm |
prefer standard_path for bash arg;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 16:03:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 19:08:32 +0200 |
wenzelm |
expand relatively to given environment, notably remote HOME;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 11:38:03 +0200 |
wenzelm |
prefer Isabelle standard Path;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 20:53:10 +0200 |
wenzelm |
clarified file operations;
|
file |
diff |
annotate
|