| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | removed unnecessary definition | eudoxia | 13 months | |
| Age | Commit message | Author | ||
| 2022-08-26 | removed unnecessary definitionHEADmaster | eudoxia | ||
| 2022-07-21 | docs/usage: future work | eudoxia | ||
| 2022-07-21 | clean | eudoxia | ||
| 2022-05-02 | reorganised docs locations (doc/* -> doc/online/*, doc/freestanding/* -> doc/*) | eudoxia | ||
| 2022-05-02 | section searching iterates forwards | eudoxia | ||
| 2022-05-01 | slight formatting fixes, misc cleaning | eudoxia | ||
| 2022-04-25 | added license headers | eudoxia | ||
| 2022-04-08 | control flow restructuring; removed doc timestamps | eudoxia | ||
| 2022-04-07 | doc/freestanding: fixed header; backend syncing with distress.network | eudoxia | ||
| 2022-04-01 | docs formatting fixes | eudoxia | ||
| [...] | ||||
 |
index : literary | |
| A lightweight literate programming tool | DistressNetwork° |
| summaryrefslogtreecommitdiff |