Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Vad är Matisa?
Matisa är en Chrome-tillägg utvecklad av pfribeiro, och dess huvudfunktion är "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.".
Tilläggsskärmbilder
Ladda ner Matisa-förlängningens CRX-fil
Ladda ner Matisa-filändelser i crx-format, installera Chrome-tillägg manuellt i webbläsaren eller dela crx-filerna med vänner för att enkelt installera Chrome-tillägg.
Användarmanual för Tillägg
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.
Grundläggande Information om Tillägg
Namn | Matisa |
ID | jkpdfeicbjekckenhpippdllibmbcinf |
Officiell webbadress | https://chromewebstore.google.com/detail/matisa/jkpdfeicbjekckenhpippdllibmbcinf |
Beskrivning | This extension allows Isabelle math syntax on GitHub to be appropriately typeset. |
Filstorlek | 1.38 MB |
Antal Installationer | 28 |
Aktuell Version | 1.0.6 |
Senast Uppdaterad | 2016-08-28 |
Publiceringsdatum | 2016-08-28 |
Betyg | 5.00/5 Totalt 3 Betyg |
Utvecklare | pfribeiro |
Betalningssätt | free |
Stödda Språk | 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\/*" ] } |