澄清「Matisa」-crx插件

【文件属性】：

文件名称：澄清「Matisa」-crx插件

文件大小：1.38MB

文件格式：CRX

更新时间：2024-04-12 06:34:17

生产工具

这个扩展允许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： - 通过使用闭包和最小化MathJax库，将扩展大小降低到2.3MiB（解压缩大小）。 - 更新了解析器的规则来处理嵌套的下标和转义下划线。 - 优化的扩展加载逻辑是可移植的。 版本1.0.2： - 添加缺少的文件。 版本1.0.1： - 初始的Chrome网上商店版本。 支持语言:English (UK)