Matisa

此扩展程序可以正确排版 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 的兼容性。 - 优化扩展程序代码。 - 修复 \ 命令。 版本 1.0.3： - 通过使用 closure 和精简 MathJax 库，将扩展程序大小减少到 2.3MiB（解压后大小）。 - 更新解析器规则，以处理嵌套下标和下划线转义。 - 优化扩展程序加载逻辑以提高可移植性。 版本 1.0.2： - 添加缺失的文件。 版本 1.0.1： - 首次在 Chrome 网上应用店发布。