| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | isabelle_new_embed.svg | 35745 | logplain |
| -rw-r--r-- | manifest.json | 533 | logplain |
| d--------- | src | 167 | logplain |
 |
index : isabelle-markup-webext | |
| Web extension for Thunderbird + Firefox to render Isabelle's escape sequences |
| summaryrefslogtreecommitdiff |
