Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Matisa là gì?
Matisa là một tiện ích mở rộng Chrome được phát triển bởi pfribeiro, và tính năng chính của nó là "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.".
Ảnh Chụp Màn Hình của Tiện Ích Mở Rộng
Tải xuống tệp CRX của tiện ích mở rộng Matisa
Tải xuống các tệp mở rộng Matisa dưới định dạng crx, cài đặt các tiện ích mở rộng Chrome bằng tay trong trình duyệt hoặc chia sẻ các tệp crx với bạn bè để dễ dàng cài đặt các tiện ích mở rộng Chrome.
Hướng Dẫn Sử Dụng Tiện Ích Mở Rộng
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. Thông Tin Cơ Bản về Tiện Ích Mở Rộng
| Tên |  Matisa |
| ID | jkpdfeicbjekckenhpippdllibmbcinf |
| URL Chính Thức | https://chromewebstore.google.com/detail/matisa/jkpdfeicbjekckenhpippdllibmbcinf |
| Mô tả | This extension allows Isabelle math syntax on GitHub to be appropriately typeset. |
| Kích Thước Tệp | 1.38 MB |
| Số Lần Cài Đặt | 28 |
| Phiên Bản Hiện Tại | 1.0.6 |
| Cập Nhật Lần Cuối | 2016-08-28 |
| Ngày Phát Hành | 2016-08-28 |
| Đánh Giá | 5.00/5 Tổng số 3 Đánh Giá |
| Nhà Phát Triển | pfribeiro |
| Loại Thanh Toán | free |
| Ngôn Ngữ Được Hỗ Trợ | 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\/*"
]
} | |
