isabelle-markup-webext, branch main
Web extension for Thunderbird + Firefox to render Isabelle's escape sequences
https://stuebinm.eu/git/isabelle-markup-webext/atom/?h=main
2026-06-16T10:00:51Z
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