Matisa'da Chrome OffiDocs ile

TANIM

Bu uzantı GitHub'da Isabelle sözdizimini ayrıştırır ve bunu MathJax kullanarak işler.

Bu şu anda bir beta sürümdür; örneğe şu adresten ulaşılabilir: https://github.

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

2016/utp Değişiklik Günlüğü: Sürüm 1.0.6 (Güncel): - Uzantının bunu güvenli bir şekilde belirleyemediği durumlarda GitHub API kullanılarak Isabelle depolarının algılama mantığı iyileştirildi.

Sürüm 1.0.5: - Sürüm gösterimi için düzeltme.

Sürüm 1.0.4: - Firefox ile geliştirilmiş uyumluluk.

- Optimize edilmiş uzantı kodu.

- Sabit \ emretmek.

Sürüm 1.0.3: - Kapatma kullanılarak ve MathJax kütüphanesi küçültülerek uzantı boyutu 2.3 ​​MiB'ye (sıkıştırılmamış boyut) düşürüldü.

- Ayrıştırıcının kuralları, iç içe geçmiş alt simgelerle ve alt çizgilerden kaçmayla başa çıkmak için güncellendi.

- Taşınabilir olacak şekilde optimize edilmiş uzantı yükleme mantığı.

Sürüm 1.0.2: - Eksik dosya eklendi.

Sürüm 1.0.1: - İlk Chrome web mağazası sürümü.

Ek bilgi:

- Pfribeiro tarafından sunulmaktadır
- Ortalama puan: 5 yıldız (beğendim)

Matisa ağı extension OffiDocs ile entegre Chromium Online