Matisa in Chrome with OffiDocs

DESCRIPTION

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