Matisa

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

Matisa란 무엇입니까?

Matisa은(는) pfribeiro에 의해 개발된 Chrome 확장 프로그램으로, 주요 기능은 "This extension allows Isabelle math syntax on GitHub to be appropriately typeset."입니다.

확장 프로그램 스크린샷

screenshot

Matisa 확장 프로그램 CRX 파일 다운로드

크롬 확장 프로그램을 crx 형식으로 다운로드하여 브라우저에 수동으로 설치하거나 crx 파일을 친구들과 공유하여 쉽게 크롬 확장 프로그램을 설치하세요.

확장 프로그램 사용 설명서

                        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.                    

확장 프로그램 기본 정보

이름 Matisa Matisa
ID jkpdfeicbjekckenhpippdllibmbcinf
공식 URL https://chromewebstore.google.com/detail/matisa/jkpdfeicbjekckenhpippdllibmbcinf
설명 This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
파일 크기 1.38 MB
설치 횟수 28
현재 버전 1.0.6
최근 업데이트 2016-08-28
출시 날짜 2016-08-28
평점 5.00/5 총 3 개의 평점
개발자 pfribeiro
결제 유형 free
지원되는 언어 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\/*"
    ]
}