| Wed, 24 Jul 2019 10:49:01 +0200 | wenzelm | avoid global syntax for MinProof (amending e31271559de8); | changeset | files |
| Tue, 23 Jul 2019 23:10:22 +0200 | wenzelm | treat MinProof like Promise before 725438ceae7c, e.g. relevant for performance of session Corec (due to Thm.derivation_closed/close_derivation); | changeset | files |
| Tue, 23 Jul 2019 19:07:28 +0200 | wenzelm | discontinued Proofterm.Promise (cf. 725438ceae7c); | changeset | files |
| Tue, 23 Jul 2019 19:04:56 +0200 | wenzelm | clarified treatment of unnamed PThm nodes (from close_derivation): retain full proof, publish when named; | changeset | files |
| Tue, 23 Jul 2019 12:16:02 +0200 | wenzelm | tuned comments; | changeset | files |
| Tue, 23 Jul 2019 12:07:50 +0200 | wenzelm | proof terms are always constructed sequentially; | changeset | files |
| Mon, 22 Jul 2019 21:55:02 +0200 | wenzelm | tuned comments -- proper sections; | changeset | files |