Matisa

This extension allows Isabelle math syntax on GitHub to be appropriately typeset.

What is Matisa?

Matisa is a Chrome extension that parses Isabelle syntax on GitHub and renders it using MathJax. It supports Isabelle repositories and provides improved detection logic. Get the beta version now!

Download

Stats

By: pfribeiro

View on Chrome Web Store

Users: 28 ▼ -3

Rating: 5.00 (3)

Version: 1.0.6 (Last updated: 2016-08-28)

Creation date: 2016-08-28

Risk impact: Moderate risk impact

Risk likelihood: Low risk likelihood

Manifest version: 2

Permissions:

*://github.com/*

Size: 1.45M

Stats date:

Chrome-Stats Rank

# 90409 ▼ 1811

Other rankings

#32452 in Workflow & Planning ▼ 187

Other platforms

Not available on Firefox

Not available on Edge

Want to check extension ranking and stats more quickly for other Chrome extensions? Install Chrome-Stats extension to view Chrome-Stats data as you browse the Chrome Web Store.

Summary

Analyze keywords

This extension parses Isabelle syntax on GitHub and renders it using MathJax. This is currently a beta version, example available at: https://github.com/isabelle-utp/utp-main/tree/shallow.2016/utp

Changelog:

Version 1.0.6 (Current):

Improved detection logic of Isabelle repositories by using the GitHub API when the extension cannot safely determine this.

Version 1.0.5:

Fix for version display.

Version 1.0.4:

Improved compatibility with Firefox.
Optimized extension code.
Fixed <bar> command.

Safety

Risk impact

Matisa may not be safe to use and it requires some risky permissions. Exercise caution when installing this extension. Review carefully before installing.