| 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 |
| Thu, 17 Oct 2019 14:06:14 +0200 | wenzelm | more robust; | changeset | files |
| Wed, 16 Oct 2019 21:55:17 +0200 | wenzelm | more robust: avoid looping Lazy.force due to misinterpreted interrupt; | changeset | files |
| Wed, 16 Oct 2019 16:47:21 +0200 | wenzelm | more informative combination_proof, e.g. relevant for proper type inference in HOL.Product_Type (with export_proofs); | changeset | files |
| Wed, 16 Oct 2019 15:31:01 +0200 | wenzelm | tuned -- more stable type inference; | changeset | files |
| Wed, 16 Oct 2019 12:42:09 +0200 | wenzelm | updated to jdk-11.0.4+11; | changeset | files |