| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-08-29 | Fix over-enthusiastic command substitution | Radu |
| 2023-08-27 | Allow restricting websites on which extension runs | Radu |
| 2023-08-27 | Write a working version and include licences | Radu |
 |
index : tex-type.git | |
| A browser extension that converts commands (some TeX) in textboxes to unicode as one types. |
| aboutsummaryrefslogtreecommitdiff |