| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | update manifest for firefoxfirefox | stuebinm | 2026-06-21 | 1 | -1/+2 |
| | | |||||
| * | browser-specific manifest | terru | 2026-06-16 | 2 | -6/+4 |
| | | |||||
| * | don't fail on repeated useHEADmain | terru | 2026-06-16 | 1 | -534/+537 |
| | | |||||
| * | simple clobbered-together implementation | terru | 2026-06-16 | 6 | -0/+1643 |
 |
index : isabelle-markup-webext | |
| Web extension for Thunderbird + Firefox to render Isabelle's escape sequences |
| summaryrefslogtreecommitdiff |