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.".
Снимки экрана расширения
Скачать файл 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 |
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\/*" ] } |