| 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 |
| Wed, 01 Apr 2020 20:17:23 +0200 | wenzelm | pretty formatting as in Isabelle/ML; | changeset | files |
| Wed, 01 Apr 2020 18:36:58 +0200 | wenzelm | output prover messages; | changeset | files |
| Wed, 01 Apr 2020 18:22:19 +0200 | wenzelm | clarified signature; | changeset | files |