Matisa dentro Chrome con OffiDocs

DESCRIZIONE

Questa estensione analizza la sintassi di Isabelle su GitHub e ne esegue il rendering utilizzando MathJax.

Questa è attualmente una versione beta, esempio disponibile su: https://github.

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

2016/utp Registro delle modifiche: Versione 1.0.6 (attuale): - Logica di rilevamento migliorata dei repository Isabelle utilizzando l'API GitHub quando l'estensione non è in grado di determinarlo in modo sicuro.

Versione 1.0.5: - Correzione per la visualizzazione della versione.

Versione 1.0.4: - Migliorata la compatibilità con Firefox.

- Codice estensione ottimizzato.

- Corretto il comando \.

Versione 1.0.3: - Dimensioni dell'estensione ridotte fino a 2.3 MiB (dimensione decompressa) utilizzando la chiusura e riducendo al minimo la libreria MathJax.

- Aggiornate le regole del parser per gestire i pedici nidificati e l'escape dei caratteri di sottolineatura.

- Logica di caricamento delle estensioni ottimizzata per essere portabile.

Versione 1.0.2: - Aggiunto file mancante.

Versione 1.0.1: - Versione iniziale del web store di Chrome.

Informazioni aggiuntive:

- Offerto da pfribeiro
- Valutazione media: 5 stelle (mi è piaciuto molto)

Matisa web extension integrato con OffiDocs Chromium online