Age | Commit message (Expand) | Author |
---|---|---|
2022-07-21 | docs/usage: future work | eudoxia |
2022-05-02 | reorganised docs locations (doc/* -> doc/online/*, doc/freestanding/* -> doc/*) | eudoxia |
2022-05-02 | section searching iterates forwards | eudoxia |
2022-04-25 | added license headers | eudoxia |