src/Pure/System/isabelle_system.ML
Sat, 27 Feb 2021 17:33:40 +0100 wenzelm obsolete;
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);
Mon, 22 Feb 2021 17:17:30 +0100 wenzelm clarified signature, following Isabelle/Scala;
Mon, 22 Feb 2021 16:54:33 +0100 wenzelm clarified signature;
Mon, 22 Feb 2021 15:24:04 +0100 wenzelm clarified signature: always trim_line of Process_Result.out/err, uniformly in ML and Scala;
Mon, 22 Feb 2021 14:48:03 +0100 wenzelm clarified signature, following Isabelle/Scala;
Mon, 22 Feb 2021 12:30:05 +0100 wenzelm clarified signature: process_result timing from Isabelle/Scala;
Sun, 21 Feb 2021 13:14:08 +0100 wenzelm more accurate process_result in ML, corresponding to Process_Result in Scala;
Sat, 20 Feb 2021 23:01:35 +0100 wenzelm clarified modules;
Sat, 19 Dec 2020 00:23:21 +0100 wenzelm tuned;
Sat, 19 Dec 2020 00:00:58 +0100 wenzelm download as in Isabelle/Scala;
Tue, 27 Oct 2020 22:34:37 +0100 wenzelm clarified signature: overloaded "+" for Path.append;
Mon, 05 Oct 2020 22:07:25 +0200 wenzelm clarified signature;
Mon, 05 Oct 2020 21:15:58 +0200 wenzelm clarified signature;
Wed, 27 May 2020 20:51:25 +0200 wenzelm clarified markup;
Wed, 27 May 2020 20:38:59 +0200 wenzelm clarified signature;
Wed, 27 May 2020 14:27:22 +0200 wenzelm check bash functions against Isabelle settings environment;
Thu, 04 Apr 2019 14:29:49 +0200 wenzelm tuned signature: more operations;
Tue, 19 Sep 2017 14:22:51 +0200 wenzelm clarified signature according to Scala version;
Sun, 03 Apr 2016 21:32:57 +0200 wenzelm clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
Mon, 07 Mar 2016 21:09:28 +0100 wenzelm File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output;
Tue, 18 Aug 2015 16:08:47 +0200 wenzelm clarified File.standard_path vs. File.platform_path (like Isabelle/Scala operations);
Tue, 05 May 2015 16:25:26 +0200 wenzelm more portable mkdirs via perl, e.g. relevant for Windows UNC paths (network shares);
Sun, 12 Apr 2015 11:38:05 +0200 wenzelm avoid redundant shell process;
Sat, 11 Apr 2015 20:00:05 +0200 wenzelm more uniform Isabelle_System.mkdirs in ML/Scala;
Sun, 11 Jan 2015 20:45:03 +0100 wenzelm removed unused/non-portable with_tmp_fifo;
Sat, 24 May 2014 21:27:15 +0200 wenzelm clarified copy_file: allow to rename base name, e.g. relevant for 'display_drafts';
Fri, 11 Apr 2014 11:52:28 +0200 wenzelm explicit 'document_files' in session ROOT specifications;
Wed, 09 Apr 2014 17:29:37 +0200 wenzelm tuned comments (see Scala version);
Sat, 12 Jan 2013 14:53:56 +0100 wenzelm removed unused/non-portable bash_output_fifo;
Mon, 16 Apr 2012 23:07:40 +0200 wenzelm redirect bash stderr to Isabelle warning as appropriate -- avoid raw process error output which may either get ignored or overload PIDE syslog in extreme cases;
Thu, 16 Feb 2012 14:14:58 +0100 wenzelm more uniform / portable representation of the idea of "copy_dir" (NB: cp -f dereferences symlinks on GNU/Linux, but does not on old-school Unixen including BSD/Mac OS X);
Wed, 19 Oct 2011 17:04:43 +0200 wenzelm tuned comment;
Wed, 10 Aug 2011 10:59:37 +0200 wenzelm bash_output_fifo blocks on Cygwin 1.7.x;
Sat, 16 Jul 2011 22:17:27 +0200 wenzelm clarified bash_output_fifo;
Sat, 16 Jul 2011 20:52:41 +0200 wenzelm moved bash operations to Isabelle_System (cf. Scala version);
Sat, 16 Jul 2011 20:14:58 +0200 wenzelm access to process output stream via auxiliary fifo;
Thu, 30 Jun 2011 14:55:01 +0200 wenzelm prefer Isabelle path algebra;
Sat, 26 Mar 2011 18:31:39 +0100 wenzelm Isabelle_System.create_tmp_path/with_tmp_file: optional extension;
Sun, 13 Mar 2011 16:01:00 +0100 wenzelm Path.print is the official way to show file-system paths to users -- note that Path.implode often indicates violation of the abstract datatype;
Tue, 21 Dec 2010 11:54:35 +0100 wenzelm make SML/NJ and Poly/ML agree on the type of "before";
Mon, 20 Dec 2010 14:44:00 +0100 wenzelm slightly more standard Isabelle_System.with_tmp_file/with_tmp_dir (cf. Scala version);
Sun, 28 Nov 2010 16:35:56 +0100 wenzelm more permissive Isabelle_System.mkdir;
Sat, 27 Nov 2010 15:45:20 +0100 wenzelm more basic Isabelle_System.mkdir;
Sat, 27 Nov 2010 15:28:00 +0100 wenzelm more explicit Isabelle_System operations;
less more (0) tip