马蒂萨在 Chrome 使用 OffiDocs

商品描述

此扩展解析 GitHub 上的 Isabelle 语法并使用 MathJax 呈现它。

目前这是测试版，示例可在：https://github 上找到。

com/isabelle-utp/utp-main/tree/shallow.com/isabelle-utp/utp-main/tree/shallow.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 网上应用店。

附加信息：

- 由 pfribeiro 提供
- 平均评分：5 星（很喜欢）

马蒂萨网 extension 与 OffiDocs 集成 Chromium 在线