Matisa in Chrome con OffiDocs
Estensione del negozio web Matisa Chrome
DESCRIZIONE:
Esegui Matisa, l'estensione del negozio web online di Chrome, utilizzando OffiDocs Chromium online.
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.
Registro modifiche 2016/utp: versione 1.
0.
6 (corrente): - 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 a 2.
3MiB (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)
Estensione web Matisa integrata con OffiDocs Chromium online