isabelle-markup-webext, branch firefox
Web extension for Thunderbird + Firefox to render Isabelle's escape sequences
https://stuebinm.eu/git/isabelle-markup-webext/atom/?h=firefox
2026-06-21T09:28:15Z
update manifest for firefox
2026-06-21T09:28:15Z
stuebinm
2026-06-21T09:28:15Z
urn:sha1:404114439a3367db95a0e28e7a5a1e140e369df1
browser-specific manifest
2026-06-16T10:01:13Z
terru
2026-06-16T10:01:13Z
urn:sha1:b50637fe1c9d9cf1ad654a90f118ff7816442225
don't fail on repeated use
2026-06-16T10:00:51Z
terru
2026-06-16T10:00:51Z
urn:sha1:637871e36a4df96e6fc7529b1356da59a1d32b8b
simple clobbered-together implementation
2026-06-16T10:00:46Z
terru
2026-06-15T21:57:03Z
urn:sha1:7dba866d6a42bafb39455d853ac6672cc91e0132