Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Cos'è Matisa?
Matisa è un'estensione di Chrome sviluppata da pfribeiro, e la sua funzione principale è "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.".
Screenshot dell'Estensione
Scarica il file CRX dell'estensione Matisa
Scarica i file di estensione Matisa in formato crx, installa manualmente le estensioni di Chrome nel browser o condividi i file crx con gli amici per installare facilmente le estensioni di Chrome.
Istruzioni per l'Uso dell'Estensione
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. Informazioni di Base sull'Estensione
| Nome |  Matisa |
| ID | jkpdfeicbjekckenhpippdllibmbcinf |
| URL Ufficiale | https://chromewebstore.google.com/detail/matisa/jkpdfeicbjekckenhpippdllibmbcinf |
| Descrizione | This extension allows Isabelle math syntax on GitHub to be appropriately typeset. |
| Dimensione del File | 1.38 MB |
| Conteggio Installazioni | 28 |
| Versione Corrente | 1.0.6 |
| Ultimo Aggiornamento | 2016-08-28 |
| Data di Pubblicazione | 2016-08-28 |
| Valutazione | 5.00/5 Totale 3 Valutazioni |
| Sviluppatore | pfribeiro |
| Tipo di Pagamento | free |
| Lingue Supportate | 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\/*"
]
} | |
