Matisa in Chrome with OffiDocs
Matisa Chrome web store extension
BESCHRIJVING:
Run the Chrome online web store extension Matisa using OffiDocs Chromium online.
Deze extensie ontleedt de syntaxis van Isabelle op GitHub en geeft deze weer met MathJax.Dit is momenteel een bètaversie, een voorbeeld beschikbaar op: https://github.
com/isabelle-utp/utp-main/tree/ondiep.
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.
Versie 1.
0.
5: - Fix for version display.
Versie 1.
0.
4: - Improved compatibility with Firefox.
- Geoptimaliseerde extensiecode.
- Vast \ commando.
Versie 1.
0.
3: - Reduced extension size down to 2.
3MiB (size unzipped) by using closure and minimizing the MathJax library.
- Parserregels bijgewerkt om met geneste subscripts en het ontsnappen van onderstrepingstekens om te gaan.
- Geoptimaliseerde laadlogica voor extensies om draagbaar te zijn.
Versie 1.
0.
2: - Added missing file.
Versie 1.
0.
1: - Initial Chrome web store release.
Extra informatie:
- Aangeboden door pfribeiro
- Gemiddelde beoordeling: 5 sterren (vond het geweldig)
Matisa web extension integrated with the OffiDocs Chromium online