Matisa in Chrome with OffiDocs
Matisa Chrome web store extension
DESCRIPTION:
Run the Chrome online web store extension Matisa using OffiDocs Chromium online.
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.
Version 1.
0.
3: - Reduced extension size down to 2.
3MiB (size unzipped) by using closure and minimizing the MathJax library.
- Updated parser's rules to deal with nested subscripts and escaping of underscores.
- Optimized extension loading logic to be portable.
Version 1.
0.
2: - Added missing file.
Version 1.
0.
1: - Initial Chrome web store release.
Additional Information:
- Offered by pfribeiro
- Average rating : 5 stars (loved it)
Matisa web extension integrated with the OffiDocs Chromium online