| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2026-06-16 | browser-specific manifest | terru | 1 | -2/+2 | |
| 2026-06-16 | don't fail on repeated useHEADmain | terru | 1 | -534/+537 | |
 |
index : isabelle-markup-webext | |
| Web extension for Thunderbird + Firefox to render Isabelle's escape sequences |
| summaryrefslogtreecommitdiff |