Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
¿Qué es Matisa?
Matisa es una extensión de Chrome desarrollada por pfribeiro, y su función principal es "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.".
Capturas de Pantalla de la Extensión
Descargar Archivo CRX de la Extensión Matisa
Descarga archivos de extensión Matisa en formato crx, instala manualmente las extensiones de Chrome en el navegador o comparte los archivos crx con amigos para instalar fácilmente las extensiones de Chrome.
Instrucciones de Uso de la Extensión
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. Información Básica de la Extensión
| Nombre |  Matisa |
| ID | jkpdfeicbjekckenhpippdllibmbcinf |
| URL Oficial | https://chromewebstore.google.com/detail/matisa/jkpdfeicbjekckenhpippdllibmbcinf |
| Descripción | This extension allows Isabelle math syntax on GitHub to be appropriately typeset. |
| Tamaño del Archivo | 1.38 MB |
| Cantidad de Instalaciones | 28 |
| Versión Actual | 1.0.6 |
| Última Actualización | 2016-08-28 |
| Fecha de Publicación | 2016-08-28 |
| Calificación | 5.00/5 Total de 3 Calificaciones |
| Desarrollador | pfribeiro |
| Tipo de Pago | free |
| Idiomas Soportados | 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\/*"
]
} | |
