Inspect and view changes in Matisa source codes across current and past versions
Premium users can view and search full source code, and see the source code differences
between two versions.
Upgrade to premium
manifest.json
{
"manifest_version": 2,
"name": "Matisa",
"description": "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.",
"version": "1.1.1resigned1",
"browser_action": {
"default_icon": "matisa128.png",
"default_popup": "popup.html"
},
"icons": {
"16": "matisa16.png",
"128": "matisa128.png"
},
"content_scripts": [
{
"matches": [
"*://github.com/*"
],
"js": [
"github/github.js"
]
},
{
"matches": [
"*://bitbucket.org/*"
],
"js": [
"bitbucket/bitbucket.js"
]
}
],
"web_accessible_resources": [
"MathJax.js",
"config/*",
"extensions/*",
"fonts/*",
"jax/*",
"localization/*",
"github/matisa.js",
"bitbucket/matisa.js",
"isabellesyntax.js"
],
"permissions": [
"*://github.com/*"
],
"browser_specific_settings": {
"gecko": {
"id": "{312f68b1-d08f-4750-8c05-615194f7f834}"
}
}
}