Matisa herein Chrome mit OffiDocs

BESCHREIBUNG

Diese Erweiterung analysiert die Isabelle-Syntax auf GitHub und rendert sie mit MathJax.

Dies ist derzeit eine Beta-Version, ein Beispiel finden Sie unter: https://github.

com/isabelle-utp/utp-main/tree/shallow.

2016/utp Changelog: Version 1.0.6 (aktuell): – Verbesserte Erkennungslogik von Isabelle-Repositorys durch Verwendung der GitHub-API, wenn die Erweiterung dies nicht sicher bestimmen kann.

Version 1.0.5: - Korrektur der Versionsanzeige.

Version 1.0.4: - Verbesserte Kompatibilität mit Firefox.

- Optimierter Erweiterungscode.

- Fest \ Befehl.

Version 1.0.3: – Reduzierte Erweiterungsgröße auf 2.3 MB (entpackte Größe) durch Schließung und Minimierung der MathJax-Bibliothek.

- Die Regeln des Parsers wurden aktualisiert, um mit verschachtelten Indizes und dem Escapezeichen von Unterstrichen umzugehen.

- Ladelogik für Erweiterungen optimiert, um portierbar zu sein.

Version 1.0.2: - Fehlende Datei hinzugefügt.

Version 1.0.1: – Erste Veröffentlichung im Chrome Web Store.

Zusätzliche Information:

- Angeboten von pfribeiro
- Durchschnittliche Bewertung: 5 Sterne (liebte es)

Matisa-Web extension integriert mit den OffiDocs Chromium Online