| Fri, 23 Aug 2019 15:00:19 +0200 | wenzelm | always export Pure proofs; | changeset | files |
| Fri, 23 Aug 2019 14:32:51 +0200 | wenzelm | clarified 'thm_deps' command; | changeset | files |
| Fri, 23 Aug 2019 13:32:27 +0200 | wenzelm | more compact: avoid pointless PThm rudiments; | changeset | files |
| Fri, 23 Aug 2019 13:20:13 +0200 | wenzelm | clarified signature: prefer total operations; | changeset | files |
| Wed, 21 Aug 2019 20:08:50 +0200 | wenzelm | proper graph traversal: avoid multiple visit of unnamed nodes; | changeset | files |
| Wed, 21 Aug 2019 17:32:44 +0200 | wenzelm | more scalable: avoid huge intermediate XML elems; | changeset | files |
| Wed, 21 Aug 2019 15:19:31 +0200 | wenzelm | more scalable buffer: produce compact chunks on the fly, avoid too many small particles that might congest heap management; | changeset | files |