澄清「Matisa」-crx插件

这个扩展允许GitHub上的Isabelle数学语法被适当的排版。 这个扩展在GitHub上解析Isabelle语法，并使用MathJax呈现它。这是目前的一个测试版本，可在以下网址找到：https://github.com/isabelle-utp/utp-main/tree/shallow.2016/utp 更新日志： 版本1.0.6（当前）： - 当扩展不能安全地确定这一点时，通过使用GitHub API改进了Isabelle存储库的检测逻辑。 版本1.0.5： - 修复版本显示。 版本1.0.4： - 改进与Firefox的兼容性。 - 优化的扩展代码。 - 修正了\ <bar>命令。 版本1.0.3： - 通过使用闭包和最小化MathJax库，将扩展大小降低到2.3MiB（解压缩大小）。 - 更新了解析器的规则来处理嵌套的下标和转义下划线。 - 优化的扩展加载逻辑是可移植的。 版本1.0.2： - 添加缺少的文件。 版本1.0.1： - 初始的Chrome网上商店版本。 支持语言:English (UK)