Matisa von Firefox-Benutzer 12498047
ExperimentellExperimentell
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Melden Sie sich an, um diese Erweiterung zu verwenden
Metadaten zur Erweiterung
Screenshots
Über diese Erweiterung
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.
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.
Bewertung Ihres Eindrucks
BerechtigungenWeitere Informationen
Dieses Add-on muss:
- Auf Ihre Daten für github.com zugreifen
Weitere Informationen
- Version
- 1.1.0
- Größe
- 1,4 MB
- Zuletzt aktualisiert
- vor 8 Jahren (9. Sep. 2016)
- Verwandte Kategorien
- Lizenz
- Die MIT-Lizenz
- Versionsgeschichte
Zur Sammlung hinzufügen
Mehr Erweiterungen von Firefox-Benutzer 12498047
- Es liegen noch keine Bewertungen vor
- Es liegen noch keine Bewertungen vor
- Es liegen noch keine Bewertungen vor
- Es liegen noch keine Bewertungen vor
- Es liegen noch keine Bewertungen vor
- Es liegen noch keine Bewertungen vor