| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | background.html | 87 | logplain |
| -rw-r--r-- | background.js | 707 | logplain |
| -rw-r--r-- | message-unescape.js | 32797 | logplain |
| -rw-r--r-- | popup.js | 32704 | logplain |
 |
index : isabelle-markup-webext | |
| Web extension for Thunderbird + Firefox to render Isabelle's escape sequences |
| summaryrefslogtreecommitdiff |