Matisa
用户量：29大小：1.38MiB版本：v 1.0.6更新时间：2021-12-21
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Matisa 的使用方法详解,最全面的教程
Matisa 描述：
用户数：29
分类：生产工具插件
扩展大小：1.38 MiB
最后更新时间：2021-12-21
版本：v 1.0.6
Matisa 插件简介：
这是来自Chrome商店的 Matisa 浏览器插件，您可以在当前页面下载它的最新版本安装文件，并安装在Chrome、Edge等浏览器上。
Matisa插件下载方法/流程：
点击下载按钮，关注“扩展迷Extfans”公众号并获取验证码，在网页弹窗中输入验证码，即可下载最新安装文件。
Matisa插件安装教程/方法：
(1)将扩展迷上下载的安装包文件（.zip）解压为文件夹，其中类型为“crx”的文件就是接下来需要用到的安装文件
(2) 从设置->更多工具->扩展程序 打开扩展程序页面，或者地址栏输入 Chrome://extensions/ 按下回车打开扩展程序页面
(3) 打开扩展程序页面的“开发者模式”
(4) 将crx文件拖拽到扩展程序页面，
完成安装如有其它安装问题，
请扫描网站底部二维码与客服联系如有疑问请参考：
https://www.extfans.com/installation/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.
