diff -r 4d09df93d1a2 -r 549a4992222f CONTRIBUTORS
--- 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).