src/Pure/ML/ml_process.scala
Thu, 14 Nov 2019 11:35:02 +0100 wenzelm clarified signature;
Sun, 06 Oct 2019 14:17:58 +0200 wenzelm tuned signature;
Mon, 16 Sep 2019 16:00:10 +0200 wenzelm find theories via session directories only -- ignore known_theories;
Thu, 12 Sep 2019 13:33:09 +0200 wenzelm find theory files via session structure: much faster Prover IDE startup;
Sat, 23 Feb 2019 21:32:29 +0100 wenzelm obsolete;
Mon, 21 Jan 2019 16:50:48 +0100 wenzelm clarified ML_OPTIONS on Windows;
Wed, 02 Jan 2019 21:18:35 +0100 wenzelm strict bash invocation: proper error checking;
Wed, 02 Jan 2019 20:20:01 +0100 wenzelm more robust system channel via options that are private to the user;
Sat, 19 May 2018 20:05:13 +0200 wenzelm support for build_database_server (PostgreSQL);
Fri, 18 May 2018 21:00:15 +0200 wenzelm tuned;
Fri, 18 May 2018 17:09:55 +0200 wenzelm support Store with options;
Thu, 17 May 2018 15:38:36 +0200 wenzelm clarified signature;
Fri, 09 Feb 2018 17:57:36 +0100 wenzelm more robust: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
Sun, 28 Jan 2018 12:57:35 +0100 wenzelm proper signature (amending c4e9e0c50487);
Tue, 23 Jan 2018 19:25:39 +0100 wenzelm treat sessions as entities with defining position;
less more (0) -15 tip