Матіса в Chrome за допомогою OffiDocs

ОПИС

Це розширення аналізує синтаксис Isabelle на GitHub і рендерить його за допомогою MathJax.

Наразі це бета-версія, приклад доступний за адресою: https://github.

com/isabelle-utp/utp-main/tree/shallow.

Журнал змін 2016/utp: версія 1.0.6 (поточна): — Покращена логіка виявлення репозиторіїв Isabelle за допомогою API GitHub, коли розширення не може безпечно це визначити.

Версія 1.0.5: — Виправлено відображення версії.

Версія 1.0.4: — Покращена сумісність із Firefox.

— Оптимізований код розширення.

- Виправлено \ команда.

Версія 1.0.3: — Розмір розширення зменшено до 2.3 МБ (розпакований розмір) за допомогою закриття та мінімізації бібліотеки MathJax.

— Оновлено правила синтаксичного аналізатора для роботи з вкладеними індексами та екрануванням символів підкреслення.

— Оптимізована логіка завантаження розширень для переносимості.

Версія 1.0.2: — Додано відсутній файл.

Версія 1.0.1: - Початковий випуск веб-магазину Chrome.

Додаткова інформація:

- Пропонує pfribeiro
- Середня оцінка: 5 зірок (сподобалось)

Павутина Matisa extension інтегровано з OffiDocs Chromium онлайн