Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
O que é Matisa?
Matisa é uma extensão do Chrome desenvolvida por pfribeiro, e sua principal característica é "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.".
Capturas de Tela da Extensão
Baixar o arquivo CRX da Extensão Matisa
Baixe arquivos de extensão Matisa no formato crx, instale manualmente as extensões do Chrome no navegador ou compartilhe os arquivos crx com amigos para instalar facilmente as extensões do Chrome.
Instruções de Uso da Extensão
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. Informações Básicas da Extensão
| Nome |  Matisa |
| ID | jkpdfeicbjekckenhpippdllibmbcinf |
| URL Oficial | https://chromewebstore.google.com/detail/matisa/jkpdfeicbjekckenhpippdllibmbcinf |
| Descrição | This extension allows Isabelle math syntax on GitHub to be appropriately typeset. |
| Tamanho do Arquivo | 1.38 MB |
| Contagem de Instalações | 28 |
| Versão Atual | 1.0.6 |
| Última Atualização | 2016-08-28 |
| Data de Publicação | 2016-08-28 |
| Classificação | 5.00/5 Total de 3 Avaliações |
| Desenvolvedor | pfribeiro |
| Tipo de Pagamento | free |
| Idiomas Suportados | 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\/*"
]
} | |
