Matisa

This extension allows Isabelle math syntax on GitHub to be appropriately typeset.

What is Matisa?

Matisa is a Chrome extension developed by pfribeiro, and its main feature is "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.".

Extension Screenshots

screenshot

Download Matisa Extension CRX File

Download Matisa extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.

Extension Usage Instructions

                        This extension parses Isabelle syntax on GitHub and renders it using MathJax. This is currently a beta version, example available at: https://github.com/isabelle-utp/utp-main/tree/shallow.2016/utp

Changelog:

Version 1.0.6 (Current):
- Improved detection logic of Isabelle repositories by using the GitHub API when the extension cannot safely determine this.

Version 1.0.5:
- Fix for version display.

Version 1.0.4:
- Improved compatibility with Firefox.
- Optimized extension code.
- Fixed \ command.

Version 1.0.3:
- Reduced extension size down to 2.3MiB (size unzipped) by using closure and minimizing the MathJax library.
- Updated parser's rules to deal with nested subscripts and escaping of underscores.
- Optimized extension loading logic to be portable.

Version 1.0.2:
- Added missing file.

Version 1.0.1:
- Initial Chrome web store release.                    

Extension Basic Information

Name Matisa Matisa
ID jkpdfeicbjekckenhpippdllibmbcinf
Official URL https://chromewebstore.google.com/detail/matisa/jkpdfeicbjekckenhpippdllibmbcinf
Description This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
File Size 1.38 MB
Installation Count 28
Current Version 1.0.6
Last Updated 2016-08-28
Publish Date 2016-08-28
Rating 5.00/5 Total 3 Ratings
Developer pfribeiro
Payment Type free
Supported Languages en-GB
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\/*"
    ]
}