Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Apa itu Matisa?
Matisa adalah ekstensi Chrome yang dikembangkan oleh pfribeiro, dan fitur utamanya adalah "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.".
Screenshot Ekstensi
Unduh Berkas CRX Ekstensi Matisa
Unduh file ekstensi Matisa dalam format crx, pasang ekstensi Chrome secara manual di peramban, atau bagikan file crx dengan teman untuk menginstal ekstensi Chrome dengan mudah.
Petunjuk Penggunaan Ekstensi
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.
Informasi Dasar Ekstensi
Nama | Matisa |
ID | jkpdfeicbjekckenhpippdllibmbcinf |
URL Resmi | https://chromewebstore.google.com/detail/matisa/jkpdfeicbjekckenhpippdllibmbcinf |
Deskripsi | This extension allows Isabelle math syntax on GitHub to be appropriately typeset. |
Ukuran File | 1.38 MB |
Jumlah Instalasi | 28 |
Versi Saat Ini | 1.0.6 |
Terakhir Diperbarui | 2016-08-28 |
Tanggal Publikasi | 2016-08-28 |
Penilaian | 5.00/5 Total 3 Penilaian |
Pengembang | pfribeiro |
Tipe Pembayaran | free |
Bahasa yang Didukung | 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\/*" ] } |