Матиса в Chrome с ОфиДокс

ОПИСАНИЕ

Это расширение анализирует синтаксис 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.

Дополнительная информация:

- Предложено пфрибейро
- Средняя оценка: 5 звезд (очень понравилось)

Веб-сайт Матиса extension интегрирован с OffiDocs Chromium онлайн