src/Pure/System/isabelle_system.scala
Sat, 27 Feb 2021 19:45:33 +0100 wenzelm proper File.eq, amending df49ca5da9d0;
Sat, 27 Feb 2021 18:04:29 +0100 wenzelm clarified modules: more like ML;
Sat, 27 Feb 2021 17:25:54 +0100 wenzelm more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552);
Wed, 03 Feb 2021 20:18:34 +0100 wenzelm clarified links to external files, e.g. .pdf within .thy source document;
Mon, 21 Dec 2020 22:47:53 +0100 wenzelm more robust Java monitor: avoid odd warning about insecure connection;
Thu, 12 Nov 2020 16:07:25 +0100 wenzelm support for watchdog thread;
Mon, 12 Oct 2020 16:19:11 +0200 wenzelm clarified signature;
Sat, 10 Oct 2020 21:19:22 +0200 wenzelm more standard path output (despite platform_path from d55eb82ae77b);
Fri, 09 Oct 2020 20:54:26 +0200 wenzelm build Isabelle CSDP component from official downloads;
Mon, 05 Oct 2020 22:23:17 +0200 wenzelm clarified signature;
Mon, 05 Oct 2020 22:07:25 +0200 wenzelm clarified signature;
Mon, 05 Oct 2020 21:15:58 +0200 wenzelm clarified signature;
Fri, 02 Oct 2020 21:18:27 +0200 wenzelm clarified signature;
Thu, 27 Aug 2020 12:51:57 +0200 wenzelm clarified modules;
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");
Thu, 06 Aug 2020 22:58:18 +0200 wenzelm unused --- superseded by PIDE messages;
Mon, 25 May 2020 20:46:50 +0200 wenzelm omit pointless memoing: Scala compiler is rather bulky anyway;
Sat, 23 May 2020 12:04:24 +0200 wenzelm init default context;
Thu, 23 Apr 2020 13:49:46 +0200 wenzelm more robust Isabelle_System.init (amending c0bc99aad936): avoid non-termination on Windows (java.lang.StackOverflowError);
Wed, 08 Apr 2020 20:38:06 +0200 wenzelm clarified init of settings vs. services;
Wed, 08 Apr 2020 14:06:26 +0200 wenzelm tuned -- avoid deprecated operations;
Wed, 08 Apr 2020 13:14:05 +0200 wenzelm more general support for isabelle_scala_service;
Sun, 05 Apr 2020 21:05:08 +0200 wenzelm clarified signature;
Wed, 18 Mar 2020 18:06:36 +0100 wenzelm more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);
Fri, 06 Mar 2020 20:18:21 +0100 wenzelm support Java/VM monitoring via jconsole;
Thu, 09 Jan 2020 13:44:16 +0100 wenzelm unused;
Thu, 14 Nov 2019 13:40:21 +0100 wenzelm clarified signature: allow compound arg;
Thu, 14 Nov 2019 12:42:06 +0100 wenzelm more portable;
Thu, 14 Nov 2019 11:35:02 +0100 wenzelm clarified signature;
Sat, 08 Dec 2018 14:58:56 +0100 wenzelm clarified gnutar options: more uniform owner;
Wed, 28 Nov 2018 11:28:02 +0100 wenzelm clarified modules;
Sat, 10 Nov 2018 14:08:02 +0100 wenzelm support for user-defined Isabelle/Scala command-line tools;
Sun, 21 Oct 2018 18:32:33 +0200 wenzelm eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
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;
Sat, 09 Jun 2018 13:19:57 +0200 wenzelm tuned -- use existing operation;
Thu, 22 Mar 2018 17:00:48 +0100 wenzelm clarified signature: flexible base_dir;
Thu, 15 Mar 2018 22:28:20 +0100 wenzelm more accurate isabelle_id: parent directory is not necessarily at tip;
Thu, 15 Mar 2018 11:44:07 +0100 wenzelm more uniform id;
Mon, 12 Mar 2018 11:17:59 +0100 wenzelm tuned imports;
Fri, 09 Feb 2018 17:57:36 +0100 wenzelm more robust: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
Wed, 24 May 2017 11:39:00 +0200 wenzelm tuned;
Tue, 09 May 2017 21:06:11 +0200 wenzelm more robust update of generated directory;
Thu, 04 May 2017 14:58:19 +0200 wenzelm tuned;
Thu, 02 Mar 2017 17:08:18 +0100 wenzelm more robust: tmp files might get deleted concurrently in ML vs. Scala process;
Thu, 02 Mar 2017 15:56:43 +0100 wenzelm tuned;
Sun, 22 Jan 2017 16:15:08 +0100 wenzelm insist in proper GNU tar, to avoid subtle semantic differences;
Thu, 22 Dec 2016 11:38:16 +0100 wenzelm clarified modules;
Tue, 01 Nov 2016 19:43:13 +0100 wenzelm prefer standard_path for bash arg;
Tue, 18 Oct 2016 16:03:30 +0200 wenzelm clarified modules;
Sat, 15 Oct 2016 19:08:32 +0200 wenzelm expand relatively to given environment, notably remote HOME;
Sat, 15 Oct 2016 11:38:03 +0200 wenzelm prefer Isabelle standard Path;
Fri, 14 Oct 2016 20:53:10 +0200 wenzelm clarified file operations;
Thu, 13 Oct 2016 15:17:10 +0200 wenzelm tuned signature;
Wed, 12 Oct 2016 15:23:54 +0200 wenzelm support remote repositories via ssh command execution;
Wed, 12 Oct 2016 10:22:34 +0200 wenzelm explicit indication of Admin tools;
Tue, 11 Oct 2016 21:44:20 +0200 wenzelm enforce short name, notably on Mac OS X;
Tue, 11 Oct 2016 09:41:07 +0200 wenzelm tuned signature;
Mon, 03 Oct 2016 16:50:29 +0200 wenzelm basic setup for Admin/build_history -- outside of Isabelle environment;
Sat, 13 Aug 2016 23:33:58 +0200 wenzelm tuned;
Tue, 15 Mar 2016 23:59:39 +0100 wenzelm find heaps uniformly via Sessions.Store;
less more (0) -100 -60 tip