| 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 |
| Wed, 01 Apr 2020 18:19:46 +0200 | wenzelm | clarified signature: more robust; | changeset | files |
| Wed, 01 Apr 2020 14:32:30 +0200 | wenzelm | proper parent base; | changeset | files |
| Wed, 01 Apr 2020 13:55:30 +0200 | wenzelm | traditional print_mode for batch build; | changeset | files |
| Wed, 01 Apr 2020 12:59:05 +0200 | wenzelm | proper support for "isabelle build -P Pure"; | changeset | files |