| Thu, 17 Oct 2019 20:28:31 +0200 | wenzelm | clarified files; | changeset | files |
| Thu, 17 Oct 2019 17:24:13 +0200 | wenzelm | clarified proof_boxes (requires prune_proofs=false); | changeset | files |
| Thu, 17 Oct 2019 16:10:44 +0200 | wenzelm | tuned; | changeset | files |