Co je Matisa?

Matisa je rozšíření Chrome vyvinuté pfribeiro, a jeho hlavní funkcí je „This extension allows Isabelle math syntax on GitHub to be appropriately typeset.“.

Snímky obrazovky rozšíření

Stáhnout soubor CRX rozšíření Matisa

Stáhněte si soubory rozšíření Matisa ve formátu crx, ručně nainstalujte rozšíření Chrome do prohlížeče nebo sdílejte soubory crx s přáteli, abyste jednoduše nainstalovali rozšíření Chrome.

Pokyny pro Použití Rozšíření

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.

Základní Informace o Rozšíření

Název	Matisa
ID	jkpdfeicbjekckenhpippdllibmbcinf
Oficiální URL	https://chromewebstore.google.com/detail/matisa/jkpdfeicbjekckenhpippdllibmbcinf
Popis	This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Velikost souboru	1.38 MB
Počet instalací	28
Aktuální Verze	1.0.6
Poslední Aktualizace	2016-08-28
Datum Vydání	2016-08-28
Hodnocení	5.00/5 Celkem 3 Hodnocení
Vývojář	pfribeiro
Typ Platby	free
Podporované Jazyky	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\/*" ] }