| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-08-22 | Fix handling of • with 𝕣-names | Marshall Lochbaum | |
| 2021-06-15 | Full tokenization for 𝕣 | Marshall Lochbaum | |
| 2021-06-02 | Support 𝕣 as an ordinary subject special name | Marshall Lochbaum | |
| 2021-04-05 | Tests for token formation | Marshall Lochbaum | |
