Qu'est-ce que Matisa ?

Matisa est une extension Chrome développée par pfribeiro, et sa fonction principale est "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.".

Captures d'Écran de l'Extension

Télécharger le fichier CRX de l'extension Matisa

Téléchargez les fichiers d'extension Matisa au format crx, installez manuellement les extensions Chrome dans le navigateur ou partagez les fichiers crx avec des amis pour installer facilement les extensions Chrome.

Instructions d'Utilisation de l'Extension

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.

Informations de Base sur l'Extension

Nom	Matisa
ID	jkpdfeicbjekckenhpippdllibmbcinf
URL Officiel	https://chromewebstore.google.com/detail/matisa/jkpdfeicbjekckenhpippdllibmbcinf
Description	This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Taille du Fichier	1.38 MB
Nombre d'Installations	28
Version Actuelle	1.0.6
Dernière Mise à Jour	2016-08-28
Date de Publication	2016-08-28
Évaluation	5.00/5 Total 3 Évaluations
Développeur	pfribeiro
Type de Paiement	free
Langues Prises en Charge	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\/*" ] }