【文件属性】：
文件名称：Matisa-crx插件
文件大小：1.38MB
文件格式：ZIP
更新时间：2021-04-03 23:42:46
扩展程序
语言:English (UK)
此扩展名允许对GitHub上的Isabelle数学语法进行适当的排版。
该扩展在GitHub上解析Isabelle语法，并使用MathJax对其进行呈现。
当前是beta版本，示例可在以下位置获得：https://github.com/isabelle-utp/utp-main/tree/shallow.2016/utp更改日志：1.0.6版（当前）：-改进了Isabelle的检测逻辑扩展无法安全确定时，通过使用GitHub API使用存储库。
版本1.0.5：-修复了版本显示问题。
1.0.4版：-改进了与Firefox的兼容性。
-优化的扩展代码。
- 固定的 \
命令。
版本1.0.3：-通过使用闭包并最小化MathJax库，将扩展大小减小到2.3MiB（解压缩大小）。
-更新了解析器的规则，以处理嵌套下标和下划线转义。
-优化的扩展加载逻辑可移植。
版本1.0.2：-添加了丢失的文件。
版本1.0.1：-最初的Chrome Web Store版本。
【文件预览】：
Matisa.crx