Matisa in Chrome with OffiDocs
Matisa Chrome web store extension
ОПИС:
Run the Chrome online web store extension Matisa using OffiDocs Chromium online.
Це розширення аналізує синтаксис Isabelle на GitHub і рендерить його за допомогою MathJax.Наразі це бета-версія, приклад доступний за адресою: 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.
Версія 1.
0.
5: - Fix for version display.
Версія 1.
0.
4: - Improved compatibility with Firefox.
— Оптимізований код розширення.
- Виправлено \ команда.
Версія 1.
0.
3: - Reduced extension size down to 2.
3MiB (size unzipped) by using closure and minimizing the MathJax library.
— Оновлено правила синтаксичного аналізатора для роботи з вкладеними індексами та екрануванням символів підкреслення.
— Оптимізована логіка завантаження розширень для переносимості.
Версія 1.
0.
2: - Added missing file.
Версія 1.
0.
1: - Initial Chrome web store release.
Додаткова інформація:
- Пропонує pfribeiro
- Середня оцінка: 5 зірок (сподобалось)
Matisa web extension integrated with the OffiDocs Chromium online