| Mon, 22 Feb 2021 16:54:33 +0100 | wenzelm | clarified signature; | changeset | files |
| 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; | changeset | files |
| Mon, 22 Feb 2021 15:24:04 +0100 | wenzelm | clarified signature: always trim_line of Process_Result.out/err, uniformly in ML and Scala; | changeset | files |
| Mon, 22 Feb 2021 15:20:45 +0100 | wenzelm | tuned; | changeset | files |