isabelle-markup-webext/manifest.json, branch firefox
Web extension for Thunderbird + Firefox to render Isabelle's escape sequences
update manifest for firefox
2026-06-21T09:28:15+00:00
stuebinm
2026-06-21T09:28:15+00:00
404114439a3367db95a0e28e7a5a1e140e369df1
browser-specific manifest
2026-06-16T10:01:13+00:00
terru
2026-06-16T10:01:13+00:00
b50637fe1c9d9cf1ad654a90f118ff7816442225
simple clobbered-together implementation
2026-06-16T10:00:46+00:00
terru
2026-06-15T21:57:03+00:00
7dba866d6a42bafb39455d853ac6672cc91e0132