Matisaคืออะไร?

Matisa เป็นส่วนขยายของ Chrome ที่พัฒนาโดย pfribeiro และคุณลักษณะหลักของมันคือ "This extension allows Isabelle math syntax on GitHub to be appropriately typeset."

ภาพหน้าจอของส่วนขยาย

ดาวน์โหลดไฟล์ CRX ของส่วนขยาย Matisa

ดาวน์โหลดไฟล์ส่วนขยาย 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\/*" ] }