CONTRIBUTORS
changeset 53728 2a25bcd8bf78
parent 53613 cdc780645a49
child 53767 7e3aafebcdd0
equal deleted inserted replaced
53727:1d88a7ee4e3e 53728:2a25bcd8bf78
    15 
    15 
    16 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
    16 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
    17   Jasmin Blanchette, TUM
    17   Jasmin Blanchette, TUM
    18   Various improvements to BNF-based (co)datatype package, including a
    18   Various improvements to BNF-based (co)datatype package, including a
    19   "primrec_new" command and a compatibility layer.
    19   "primrec_new" command and a compatibility layer.
       
    20 
       
    21 * Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
       
    22   Jasmin Blanchette, TUM
       
    23   Various improvements to MaSh, including a server mode.
       
    24 
       
    25 * First half of 2013: Steffen Smolka, TUM
       
    26   Further improvements to Sledgehammer's Isar proof generator.
    20 
    27 
    21 * Summer 2013: Christian Sternagel, JAIST
    28 * Summer 2013: Christian Sternagel, JAIST
    22   Improved support for ad hoc overloading of constants, including
    29   Improved support for ad hoc overloading of constants, including
    23   documentation and examples.
    30   documentation and examples.
    24 
    31