CONTRIBUTORS
changeset 53978 65c893e0849f
parent 53767 7e3aafebcdd0
child 53984 b9139b14c1c5
--- a/CONTRIBUTORS	Sun Sep 29 11:59:01 2013 +0200
+++ b/CONTRIBUTORS	Sun Sep 29 12:17:02 2013 +0200
@@ -16,7 +16,8 @@
 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
   Jasmin Blanchette, TUM
   Various improvements to BNF-based (co)datatype package, including
-  "primrec_new" and "primcorecursive" commands and a compatibility layer.
+  "primrec_new" and "primcorecursive" commands and a compatibility
+  layer.
 
 * Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
   Jasmin Blanchette, TUM