CONTRIBUTORS
changeset 68545 7922992c99ea
parent 68522 d9cbc1e8644d
child 68547 549a4992222f
     1.1 --- a/CONTRIBUTORS	Fri Jun 29 19:53:15 2018 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Jun 29 20:11:17 2018 +0200
     1.3 @@ -12,6 +12,10 @@
     1.4  * June 2018: Martin Baillon and Paulo Emílio de Vilhena
     1.5    A variety of contributions to HOL-Algebra.
     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