Matisa

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

Что такое Matisa?

Matisa - это расширение Chrome, разработанное pfribeiro, и его основная функция - "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.".

Снимки экрана расширения

screenshot

Скачать файл CRX расширения Matisa

Скачайте файлы расширений Matisa в формате crx, установите расширения Chrome вручную в браузере или поделитесь файлами crx с друзьями, чтобы легко установить расширения Chrome.

Инструкции по использованию расширения

                        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\/*"
    ]
}