isabelle-markup-webext - Web extension for Thunderbird + Firefox to render Isabelle's escape sequences

summary refs log tree commit diff

path: root/src/popup.js (follow)

	Commit message (Expand)	Author	Age	Files	Lines
*	simple clobbered-together implementation	terru	2026-06-16	1	-0/+569