isabelle-markup-webext, branch main
Web extension for Thunderbird + Firefox to render Isabelle's escape sequences
don't fail on repeated use
2026-06-16T10:00:51+00:00
terru
2026-06-16T10:00:51+00:00
637871e36a4df96e6fc7529b1356da59a1d32b8b
simple clobbered-together implementation
2026-06-16T10:00:46+00:00
terru
2026-06-15T21:57:03+00:00
7dba866d6a42bafb39455d853ac6672cc91e0132