updated CONTRIBUTORS
authorblanchet
Fri Sep 20 22:39:30 2013 +0200 (2013-09-20)
changeset 537677e3aafebcdd0
parent 53766 b260a0ce7482
child 53768 46a2154f250c
updated CONTRIBUTORS
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Fri Sep 20 22:39:30 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Sep 20 22:39:30 2013 +0200
     1.3 @@ -15,8 +15,8 @@
     1.4  
     1.5  * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
     1.6    Jasmin Blanchette, TUM
     1.7 -  Various improvements to BNF-based (co)datatype package, including a
     1.8 -  "primrec_new" command and a compatibility layer.
     1.9 +  Various improvements to BNF-based (co)datatype package, including
    1.10 +  "primrec_new" and "primcorecursive" commands and a compatibility layer.
    1.11  
    1.12  * Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
    1.13    Jasmin Blanchette, TUM