| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| firefox | update manifest for firefox | stuebinm | 2 months | |
| main | don't fail on repeated use | terru | 2 months | |
| Age | Commit message | Author | Files | Lines |
| 2026-06-16 | don't fail on repeated useHEADmain | terru | 1 | -534/+537 |
| 2026-06-16 | simple clobbered-together implementation | terru | 6 | -0/+1643 |
 |
index : isabelle-markup-webext | |
| Web extension for Thunderbird + Firefox to render Isabelle's escape sequences |
| summaryrefslogtreecommitdiff |