Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2022-07-07 | Fix shifting jumps in tail of edit map | Titus Wormer | 1 | -1/+3 |
2022-07-05 | Refactor to do some to dos | Titus Wormer | 1 | -2/+4 |
2022-07-04 | Add support for unicode punctuation | Titus Wormer | 1 | -1/+1 |
2022-07-04 | Update list of todos | Titus Wormer | 1 | -2/+1 |
2022-07-04 | Fix opening/closing tag order of nested attention | Titus Wormer | 1 | -12/+29 |
2022-07-01 | Refactor to clean and document `edit_map` | Titus Wormer | 1 | -2/+19 |
2022-06-29 | Add support for sharing identifiers, references before definitions | Titus Wormer | 1 | -18/+1 |
2022-06-28 | Fix jumps in `edit_map` | Titus Wormer | 1 | -0/+144 |