Matisa di Utente Firefox 12498047

This extension allows Isabelle math syntax on GitHub to be appropriately typeset.

Sperimentale

0 (0 reviews)

4 utenti

Devi utilizzare Firefox per poter installare questa estensione

Scarica Firefox e installa l’estensione

Scarica file

Informazioni sull’estensione

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.

Voto 0 da 0 revisori

Permessi obbligatori: