| Wed, 28 Aug 2019 10:18:50 +0200 | wenzelm | more scalable -- less ML heap requirements; | changeset | files |
| Wed, 28 Aug 2019 10:13:32 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 28 Aug 2019 19:19:17 +0200 | ballarin | Integrate locale activation fallback diagnostics with 'trace_locales'. | changeset | files |
| Wed, 28 Aug 2019 08:51:20 +0200 | immler | entry point for analysis without integration theory | changeset | files |
| Wed, 28 Aug 2019 00:08:14 +0200 | immler | removed Brouwer_Fixpoint from imports of Derivative | changeset | files |
| Tue, 27 Aug 2019 23:12:28 +0200 | immler | removed unused lemma, generalized, reduced dependencies | changeset | files |
| Tue, 27 Aug 2019 22:43:19 +0200 | immler | fixed typo | changeset | files |