| Mon, 05 Oct 2020 22:07:25 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 02 Oct 2020 21:18:27 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 27 Aug 2020 12:51:57 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 16 Aug 2020 11:57:15 +0200 |
wenzelm |
clarified management of services: static declarations vs. dynamic instances (e.g. relevant for stateful Session.Protocol_Handler, notably Scala.Handler and session "System");
|
file |
diff |
annotate
|
| Thu, 06 Aug 2020 22:58:18 +0200 |
wenzelm |
unused --- superseded by PIDE messages;
|
file |
diff |
annotate
|
| Mon, 25 May 2020 20:46:50 +0200 |
wenzelm |
omit pointless memoing: Scala compiler is rather bulky anyway;
|
file |
diff |
annotate
|
| Sat, 23 May 2020 12:04:24 +0200 |
wenzelm |
init default context;
|
file |
diff |
annotate
|
| Thu, 23 Apr 2020 13:49:46 +0200 |
wenzelm |
more robust Isabelle_System.init (amending c0bc99aad936): avoid non-termination on Windows (java.lang.StackOverflowError);
|
file |
diff |
annotate
|
| Wed, 08 Apr 2020 20:38:06 +0200 |
wenzelm |
clarified init of settings vs. services;
|
file |
diff |
annotate
|
| Wed, 08 Apr 2020 14:06:26 +0200 |
wenzelm |
tuned -- avoid deprecated operations;
|
file |
diff |
annotate
|
| Wed, 08 Apr 2020 13:14:05 +0200 |
wenzelm |
more general support for isabelle_scala_service;
|
file |
diff |
annotate
|
| 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
|
| Thu, 13 Oct 2016 15:17:10 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 15:23:54 +0200 |
wenzelm |
support remote repositories via ssh command execution;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 10:22:34 +0200 |
wenzelm |
explicit indication of Admin tools;
|
file |
diff |
annotate
|
| Tue, 11 Oct 2016 21:44:20 +0200 |
wenzelm |
enforce short name, notably on Mac OS X;
|
file |
diff |
annotate
|
| Tue, 11 Oct 2016 09:41:07 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 03 Oct 2016 16:50:29 +0200 |
wenzelm |
basic setup for Admin/build_history -- outside of Isabelle environment;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2016 23:33:58 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 15 Mar 2016 23:59:39 +0100 |
wenzelm |
find heaps uniformly via Sessions.Store;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2016 14:42:07 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2016 14:27:31 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2016 13:04:50 +0100 |
wenzelm |
prefer Scala over bash function;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2016 12:50:46 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2016 12:44:24 +0100 |
wenzelm |
clarified env;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2016 12:39:12 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2016 12:37:01 +0100 |
wenzelm |
more uniform signature for various process invocations;
|
file |
diff |
annotate
|
| Sat, 12 Mar 2016 21:46:31 +0100 |
wenzelm |
more thorough cleanup -- in Scala;
|
file |
diff |
annotate
|
| Wed, 09 Mar 2016 19:30:09 +0100 |
wenzelm |
isabelle.Build uses ML_Process directly;
|
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
|