Ad

EnglishFrenchSpanish

Free editor online | DOC > | XLS > | PPT >


OffiDocs favicon

Matisa in Chrome with OffiDocs

Matisa  screen for extension Chrome web store in OffiDocs Chromium

Ad


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


Run Chrome Extensions

Ad