Matisa in Chrome z OffiDocs

OPIS

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.

Dodatkowe informacje:

- Offered by pfribeiro
- Średnia ocena: 5 gwiazdek (bardzo mi się podobało)

Matisa web extension zintegrowany z OffiDocs Chromium Online