| Thu, 02 Apr 2020 12:19:09 +0200 | wenzelm | proper arguments of protocol function; | changeset | files |
| Wed, 01 Apr 2020 23:04:28 +0200 | wenzelm | merged | changeset | files |
| Wed, 01 Apr 2020 22:07:57 +0200 | wenzelm | more robust: process stdout on Windows may contain CR; | changeset | files |
| Wed, 01 Apr 2020 21:43:22 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 01 Apr 2020 21:10:44 +0200 | wenzelm | prefer system option: easier to make it default; | changeset | files |
| Wed, 01 Apr 2020 20:55:48 +0200 | wenzelm | support multiple sessions, notably for "isabelle build -P -j2"; | changeset | files |