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