CONTRIBUTORS
changeset 53728 2a25bcd8bf78
parent 53613 cdc780645a49
child 53767 7e3aafebcdd0
--- a/CONTRIBUTORS	Thu Sep 19 01:09:25 2013 +0200
+++ b/CONTRIBUTORS	Thu Sep 19 01:15:26 2013 +0200
@@ -18,6 +18,13 @@
   Various improvements to BNF-based (co)datatype package, including a
   "primrec_new" command and a compatibility layer.
 
+* Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
+  Jasmin Blanchette, TUM
+  Various improvements to MaSh, including a server mode.
+
+* First half of 2013: Steffen Smolka, TUM
+  Further improvements to Sledgehammer's Isar proof generator.
+
 * Summer 2013: Christian Sternagel, JAIST
   Improved support for ad hoc overloading of constants, including
   documentation and examples.