文件名称:澄清「Matisa」-crx插件
文件大小:1.38MB
文件格式:CRX
更新时间:2021-03-23 12:47:37
生产工具 这个扩展允许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的兼容性。 - 优化的扩展代码。 - 修正了\