文件名称：Matisa-crx插件
文件大小：1.38MB
文件格式：ZIP
更新时间：2024-04-23 17:29:26
扩展程序
语言: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