index
:
isabelle-markup-webext
firefox
main
Web extension for Thunderbird + Firefox to render Isabelle's escape sequences
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
background.html
blob: 2e5e3d68791aa6a04de360bc6bed84190ebe388b (
plain
)
1
2
3
4
<!DOCTYPE html>
<
html
>
<
script
type
=
"module"
src
=
"background.js"
></
script
>
</
html
>