Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
ما هو Matisa؟
Matisa هو إضافة Chrome تم تطويرها بواسطة pfribeiro، والميزة الرئيسية لها هي "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.".
لقطات شاشة التمديد
تحميل ملف CRX للإضافة Matisa
قم بتنزيل ملفات الامتداد Matisa بتنسيق crx ، وقم بتثبيت الامتدادات يدويًا في متصفح Chrome ، أو شارك ملفات crx مع الأصدقاء لتثبيت الامتدادات بسهولة.
تعليمات استخدام التمديد
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\/*"
]
} | |
