Matisa

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

Matisa is available to install from Chrome Web Store and for download from this page. It has 29 active users The latest version is 1.0.6, and it was published 3 years ago.

View source code

Total download count: 2 (Only count downloads from Chrome-Stats)

All available versions

You can find the current and older versions of Matisa here. You can download the archived versions or inspect their source codes.

As a free user, you can only download the latest version.

Upgrade to download older versions

1 version available for download.

Install CRX file

Option 1: The easy way (for Windows users only)

Download and run chrome-stats.exe file on your PC. This method will allow you to install Chrome extensions directly from chrome-stats.com in one click. You only need to do this once!
Type in chrome://restart in the URL bar to restart the browser for the changes to take effect.
Download and install the Matisa CRX file

Option 2: Advanced method

Download Matisa CRX file
NOTE: Sometimes the browser may block downloading / installing CRX file from outside the Chrome Web Store. If so, you may need to use option 1, or download the ZIP file instead.
In the URL bar, go to chrome://extensions
Enable Developer mode
Drag and drop the downloaded Matisa CRX file into the Extensions page
When prompted, click Add extension to install Matisa.

Install ZIP file

Download and unpack the Matisa ZIP file to a directory of your choice.
In Chrome browser, go to chrome://extensions
Enable Developer mode.
Click on the Load Unpacked button.
Select the directory of with the unpacked Matisa ZIP file from step 1. Matisa is now installed on your browser.