Matisa in Chrome met OffiDocs

PRODUCTBESCHRIJVING

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: Versie 1.0.6 (huidig): - Verbeterde detectielogica van Isabelle-repositories door gebruik te maken van de GitHub API wanneer de extensie dit niet veilig kan vaststellen.

Versie 1.0.5: - Oplossing voor versieweergave.

Versie 1.0.4: - Verbeterde compatibiliteit met Firefox.

- Geoptimaliseerde extensiecode.

- Vast \ commando.

Versie 1.0.3: - De grootte van de extensie is teruggebracht tot 2.3 MiB (grootte uitgepakt) door gebruik te maken van sluiting en het minimaliseren van de MathJax-bibliotheek.

- 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: - Ontbrekend bestand toegevoegd.

Versie 1.0.1: - Eerste release van de Chrome-webwinkel.

Extra informatie:

- Aangeboden door pfribeiro
- Gemiddelde beoordeling: 5 sterren (vond het geweldig)

Matisa web extension geïntegreerd met de OffiDocs Chromium online.