Matisa in Chrome with OffiDocs
Matisa Chrome web store extension
OPIS:
Run the Chrome online web store extension Matisa using OffiDocs Chromium online.
To rozszerzenie analizuje składnię Isabelle w GitHub i renderuje ją przy użyciu MathJax.Jest to obecnie wersja beta, przykład dostępny na: 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.
Wersja 1.
0.
5: - Fix for version display.
Wersja 1.
0.
4: - Improved compatibility with Firefox.
- Zoptymalizowany kod rozszerzenia.
- Naprawił \ Komenda.
Wersja 1.
0.
3: - Reduced extension size down to 2.
3MiB (size unzipped) by using closure and minimizing the MathJax library.
- Zaktualizowano reguły parsera, aby radzić sobie z zagnieżdżonymi indeksami dolnymi i ucieczką od podkreśleń.
- Zoptymalizowana logika ładowania rozszerzeń, aby była przenośna.
Wersja 1.
0.
2: - Added missing file.
Wersja 1.
0.
1: - Initial Chrome web store release.
Dodatkowe informacje:
- Oferowane przez pfribeiro
- Średnia ocena: 5 gwiazdek (bardzo mi się podobało)
Matisa web extension integrated with the OffiDocs Chromium online