Matisa
1.0.6
2023-12-20
0
插件介绍
此扩展允许对 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 网上应用店版本。
插件详情
评分
5星（共5星)，共3位用户参与评分
使用人数
32+ 位用户
版本
1.0.6
文件大小
1.38MB
分类
提供方
pfribeiro
支持语言
英语（英国）
ID
jkpdfeicbjekckenhpippdllibmbcinf
发布时间
2023-12-20 19:14:58
