Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Matisaとは何ですか？
Matisaはpfribeiroによって開発されたChromeの拡張機能で、その主な機能は「This extension allows Isabelle math syntax on GitHub to be appropriately typeset.」です。
拡張機能のスクリーンショット
Matisa拡張機能のCRXファイルをダウンロード
Matisa拡張子のファイルをcrx形式でダウンロードし、ブラウザにChrome拡張機能を手動でインストールするか、crxファイルを友達と共有して簡単にChrome拡張機能をインストールします。
拡張機能の使用方法
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. 拡張機能の基本情報
| 名前 |  Matisa |
| ID | jkpdfeicbjekckenhpippdllibmbcinf |
| 公式URL | https://chromewebstore.google.com/detail/matisa/jkpdfeicbjekckenhpippdllibmbcinf |
| 説明 | This extension allows Isabelle math syntax on GitHub to be appropriately typeset. |
| ファイルサイズ | 1.38 MB |
| インストール数 | 28 |
| 現在のバージョン | 1.0.6 |
| 最終更新日 | 2016-08-28 |
| 公開日 | 2016-08-28 |
| 評価 | 5.00/5 合計 3 レビュー |
| 開発者 | pfribeiro |
| 支払い方法 | free |
| 対応言語 | 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\/*"
]
} | |
