Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Additional files are visible only to premium users
manifest.json
{
"update_url": "https://clients2.google.com/service/update2/crx",
"manifest_version": 2,
"name": "Matisa",
"description": "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.",
"version": "1.0.6",
"browser_action": {
"default_icon": "matisa128.png",
"default_popup": "popup.html"
},
"icons": {
"16": "matisa16.png",
"128": "matisa128.png"
},
"content_scripts": [
{
"matches": [
"*://github.com/*"
],
"js": [
"eventPage.js"
]
}
],
"web_accessible_resources": [
"MathJax.js",
"config/*",
"extensions/*",
"fonts/*",
"jax/*",
"localization/*",
"matisa.js",
"config.js",
"isabellesyntax.js"
],
"permissions": [
"*://github.com/*"
]
}