| Sun, 21 Feb 2021 12:24:40 +0100 | wenzelm | clarified: proper trim_line for error; | changeset | files |
| Sun, 21 Feb 2021 11:53:05 +0100 | wenzelm | unused; | changeset | files |
| Sun, 21 Feb 2021 00:49:09 +0100 | wenzelm | clarified lines (again); | changeset | files |
| Sat, 20 Feb 2021 23:01:35 +0100 | wenzelm | clarified modules; | changeset | files |
| Sat, 20 Feb 2021 22:09:16 +0100 | wenzelm | more uniform Bash.process: always ask Isabelle/Scala; | changeset | files |
| Sat, 20 Feb 2021 21:38:23 +0100 | wenzelm | more reactive protocol messages, e.g. for Scala.function (relevant for Bash.process); | changeset | files |
| Sat, 20 Feb 2021 20:23:30 +0100 | wenzelm | clarified compiler options; | changeset | files |