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 2 years ago.
Install from Chrome Web StoreTotal download count:
2
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
versions available for download.
How to install Matisa from a 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.
How to install Matisa from a 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.
Similar extensions
Here are some Chrome extensions that are similar to Matisa:
WikSort
Asana Responsive Improvements
Power Close
Spider Devtools
math-with-slackb
Lynn
No Curly
Web Travel
SourceForge Stats
Puffer
background color grazer
WeBWorK+
https://devoresoftware.blogspot.com
3.00
16
michaelcook.tech
N/A
24
https://power-close.com
5.00
110
fangtiansheng
5.00
25
Unknown
N/A
29
octref.dev
5.00
11
https://codingwithsam.com
4.00
63
https://moin.im
N/A
22
Laisson Silveira
5.00
37
PhilFrasty
5.00
20
https://www.victorhom.net
N/A
4
cvic
N/A
25