| Sat, 07 Aug 2021 22:23:37 +0200 | wenzelm | clarified signature: more options for bash_process; | file | diff | annotate |
| Mon, 22 Feb 2021 18:19:38 +0100 | wenzelm | tuned signature; | 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:58:56 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 22 Feb 2021 16:45:41 +0100 | wenzelm | clarified signature: Isabelle_System.bash_process is strict and thus cannot check for interrupt_return_code; | 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 |