| Sun, 23 May 2021 23:00:10 +0200 |
wenzelm |
proper signature export (amending b50f8cc8c08e);
|
file |
diff |
annotate
|
| Sun, 25 Apr 2021 22:33:15 +0200 |
wenzelm |
avoid "exec" to change the winpid;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 22:57:39 +0200 |
wenzelm |
support for base64 via Isabelle/Scala/ML;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 21:48:04 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 18:29:34 +0200 |
wenzelm |
clarified signature: avoid tmp file;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 18:10:13 +0200 |
wenzelm |
clarified signature for Scala functions;
|
file |
diff |
annotate
|
| Thu, 08 Apr 2021 16:43:35 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:58:17 +0200 |
wenzelm |
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
|
file |
diff |
annotate
|
| Sun, 14 Mar 2021 18:32:11 +0100 |
wenzelm |
clarified signature: refer to file name instead of file content;
|
file |
diff |
annotate
|
| Sat, 13 Mar 2021 12:36:24 +0100 |
wenzelm |
clarified signature: function_thread is determined in Isabelle/Scala, not Isabelle/ML;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 18:31:11 +0100 |
wenzelm |
clarified signature, according to Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 18:24:27 +0100 |
wenzelm |
download on separate thread;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 18:11:06 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 15:09:57 +0100 |
wenzelm |
proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 14:58:00 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 22:17:56 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 21:36:58 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 21:01:07 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 17:33:40 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 17:17:30 +0100 |
wenzelm |
clarified signature, following Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 16:54:33 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 15:24:04 +0100 |
wenzelm |
clarified signature: always trim_line of Process_Result.out/err, uniformly in ML and Scala;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 14:48:03 +0100 |
wenzelm |
clarified signature, following Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 12:30:05 +0100 |
wenzelm |
clarified signature: process_result timing from Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 21 Feb 2021 13:14:08 +0100 |
wenzelm |
more accurate process_result in ML, corresponding to Process_Result in Scala;
|
file |
diff |
annotate
|
| Sat, 20 Feb 2021 23:01:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2020 00:23:21 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2020 00:00:58 +0100 |
wenzelm |
download as in Isabelle/Scala;
|
file |
diff |
annotate
|
| Tue, 27 Oct 2020 22:34:37 +0100 |
wenzelm |
clarified signature: overloaded "+" for Path.append;
|
file |
diff |
annotate
|
| 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
|
| Wed, 27 May 2020 20:51:25 +0200 |
wenzelm |
clarified markup;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 20:38:59 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 14:27:22 +0200 |
wenzelm |
check bash functions against Isabelle settings environment;
|
file |
diff |
annotate
|
| Thu, 04 Apr 2019 14:29:49 +0200 |
wenzelm |
tuned signature: more operations;
|
file |
diff |
annotate
|
| Tue, 19 Sep 2017 14:22:51 +0200 |
wenzelm |
clarified signature according to Scala version;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 21:32:57 +0200 |
wenzelm |
clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Tue, 18 Aug 2015 16:08:47 +0200 |
wenzelm |
clarified File.standard_path vs. File.platform_path (like Isabelle/Scala operations);
|
file |
diff |
annotate
|
| Tue, 05 May 2015 16:25:26 +0200 |
wenzelm |
more portable mkdirs via perl, e.g. relevant for Windows UNC paths (network shares);
|
file |
diff |
annotate
|
| Sun, 12 Apr 2015 11:38:05 +0200 |
wenzelm |
avoid redundant shell process;
|
file |
diff |
annotate
|
| Sat, 11 Apr 2015 20:00:05 +0200 |
wenzelm |
more uniform Isabelle_System.mkdirs in ML/Scala;
|
file |
diff |
annotate
|
| Sun, 11 Jan 2015 20:45:03 +0100 |
wenzelm |
removed unused/non-portable with_tmp_fifo;
|
file |
diff |
annotate
|
| Sat, 24 May 2014 21:27:15 +0200 |
wenzelm |
clarified copy_file: allow to rename base name, e.g. relevant for 'display_drafts';
|
file |
diff |
annotate
|
| Fri, 11 Apr 2014 11:52:28 +0200 |
wenzelm |
explicit 'document_files' in session ROOT specifications;
|
file |
diff |
annotate
|
| Wed, 09 Apr 2014 17:29:37 +0200 |
wenzelm |
tuned comments (see Scala version);
|
file |
diff |
annotate
|
| Sat, 12 Jan 2013 14:53:56 +0100 |
wenzelm |
removed unused/non-portable bash_output_fifo;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Wed, 19 Oct 2011 17:04:43 +0200 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| Wed, 10 Aug 2011 10:59:37 +0200 |
wenzelm |
bash_output_fifo blocks on Cygwin 1.7.x;
|
file |
diff |
annotate
|
| Sat, 16 Jul 2011 22:17:27 +0200 |
wenzelm |
clarified bash_output_fifo;
|
file |
diff |
annotate
|
| Sat, 16 Jul 2011 20:52:41 +0200 |
wenzelm |
moved bash operations to Isabelle_System (cf. Scala version);
|
file |
diff |
annotate
|
| Sat, 16 Jul 2011 20:14:58 +0200 |
wenzelm |
access to process output stream via auxiliary fifo;
|
file |
diff |
annotate
|
| Thu, 30 Jun 2011 14:55:01 +0200 |
wenzelm |
prefer Isabelle path algebra;
|
file |
diff |
annotate
|
| Sat, 26 Mar 2011 18:31:39 +0100 |
wenzelm |
Isabelle_System.create_tmp_path/with_tmp_file: optional extension;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Tue, 21 Dec 2010 11:54:35 +0100 |
wenzelm |
make SML/NJ and Poly/ML agree on the type of "before";
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 14:44:00 +0100 |
wenzelm |
slightly more standard Isabelle_System.with_tmp_file/with_tmp_dir (cf. Scala version);
|
file |
diff |
annotate
|