Матиса в Chrome с OffiDocs
Расширение интернет-магазина Matisa Chrome
ОПИСАНИЕ:
Запустите расширение интернет-магазина Chrome Matisa с помощью OffiDocs Chromium онлайн.
Это расширение анализирует синтаксис 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 звезд (очень понравилось)
Веб-расширение Matisa, интегрированное с онлайн-версией OffiDocs Chromium