| 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 |