Age | Commit message (Expand) | Author |
---|---|---|
2021-05-11 | update comprehensive presentation | Christian Grothoff |
2021-04-28 | cut down as per Leon's request | Christian Grothoff |
2021-04-25 | capitalization | Florian Dold |
2021-04-25 | add link to list | Christian Grothoff |
2021-04-25 | update slides | Christian Grothoff |
2021-04-25 | missing word | Florian Dold |
2021-04-25 | minor edit | Florian Dold |
2021-04-25 | first draft of CB slides | Florian Dold |