Matisa in Chrome cu OffiDocs

DESCRIERE

Această extensie analizează sintaxa Isabelle pe GitHub și o redă folosind MathJax.

Aceasta este în prezent o versiune beta, exemplu disponibil la: https://github.

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

2016/utp Jurnalul modificărilor: Versiunea 1.0.6 (actuală): - Logica de detectare îmbunătățită a depozitelor Isabelle prin utilizarea API-ului GitHub atunci când extensia nu poate determina acest lucru în siguranță.

Versiunea 1.0.5: - Remediere pentru afișarea versiunii.

Versiunea 1.0.4: - Compatibilitate îmbunătățită cu Firefox.

- Cod de extensie optimizat.

- S-a corectat comanda \.

Versiunea 1.0.3: - Dimensiunea extensiei redusă la 2.3 MiB (dimensiune dezarhivată) prin utilizarea închiderii și minimizarea bibliotecii MathJax.

- Regulile parserului au fost actualizate pentru a se ocupa de indicele imbricate și de evadarea caracterelor de subliniere.

- Logica optimizată de încărcare a extensiei pentru a fi portabilă.

Versiunea 1.0.2: - S-a adăugat fișierul lipsă.

Versiunea 1.0.1: - Lansarea inițială a magazinului web Chrome.

Informații suplimentare:

- Oferit de pfribeiro
- Evaluare medie: 5 stele (mi-a placut)

Matisa web extension integrat cu OffiDocs Chromium on-line