| 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 |
| Wed, 01 Apr 2020 12:58:44 +0200 | wenzelm | clarified signature: more robust bootstrap base; | changeset | files |
| Wed, 01 Apr 2020 12:57:19 +0200 | wenzelm | proper startup for Pure: its use_prelude produces stdout before stderr protocol init; | changeset | files |
| Wed, 01 Apr 2020 12:56:19 +0200 | wenzelm | proper context for loading Pure; | changeset | files |