| Tue, 31 Jan 2023 17:17:07 +0100 | wenzelm | more accurate output: avoid output_main from last run; | changeset | files |
| Tue, 31 Jan 2023 17:08:16 +0100 | wenzelm | removed unused operation from 3f50b24909df; | changeset | files |
| Tue, 31 Jan 2023 17:04:02 +0100 | wenzelm | clarified guard: avoid spurious auto builds; | changeset | files |
| Tue, 31 Jan 2023 17:00:33 +0100 | wenzelm | automatically build document when selected theories are finished; | changeset | files |
| Tue, 31 Jan 2023 16:13:27 +0100 | wenzelm | more accurate Word.capitalize: do not touch name; | changeset | files |
| Tue, 31 Jan 2023 14:59:19 +0100 | wenzelm | defer build until document nodes are ready; | changeset | files |