changeset 68547 | 549a4992222f |
parent 68533 | 7da59435126a |
parent 68545 | 7922992c99ea |
child 68548 | a22540ac7052 |
--- a/CONTRIBUTORS Fri Jun 29 15:22:30 2018 +0100 +++ b/CONTRIBUTORS Fri Jun 29 22:14:33 2018 +0200 @@ -15,6 +15,10 @@ * June 2018: Wenda Li New/strengthened results involving analysis, topology, etc. +* May/June 2018: Makarius Wenzel + System infrastructure to export blobs as theory presentation, and to dump + PIDE database content in batch mode. + * May 2018: Manuel Eberl Landau symbols and asymptotic equivalence (moved from the AFP).