equal
deleted
inserted
replaced
17 New command "fun_cases". |
17 New command "fun_cases". |
18 |
18 |
19 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and |
19 * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and |
20 Jasmin Blanchette, TUM |
20 Jasmin Blanchette, TUM |
21 Various improvements to BNF-based (co)datatype package, including |
21 Various improvements to BNF-based (co)datatype package, including |
22 "primrec_new" and "primcorecursive" commands and a compatibility |
22 "primrec_new" and "primcorec" commands and a compatibility layer. |
23 layer. |
|
24 |
23 |
25 * Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen |
24 * Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen |
26 Jasmin Blanchette, TUM |
25 Jasmin Blanchette, TUM |
27 Various improvements to MaSh, including a server mode. |
26 Various improvements to MaSh, including a server mode. |
28 |
27 |