Age | Commit message (Expand) | Author |
---|---|---|
2021-03-19 | delete spurious spaces | Thien-Thi Nguyen |
2021-03-19 | add period at end of sentence | Thien-Thi Nguyen |
2021-03-19 | s/dedicate/dedicated/ | Thien-Thi Nguyen |
2020-10-25 | fix typos | Christian Grothoff |
2020-03-22 | the big EC rename | Christian Grothoff |
2019-09-27 | The big doc refactoring | Florian Dold |
2019-08-29 | initial rough import of other docs | Florian Dold |