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