Matisa dalam Chrome dengan OffiDocs
Sambungan kedai web Matisa Chrome
HURAIAN:
Jalankan sambungan kedai web dalam talian Chrome Matisa menggunakan OffiDocs Chromium dalam talian.
Sambungan ini menghuraikan sintaks Isabelle pada GitHub dan menjadikannya menggunakan MathJax.Pada masa ini, ini adalah versi beta, contoh tersedia di: https://github.
com/isabelle-utp/utp-utama/pokok/cetek.
2016/utp Changelog: Versi 1.
0.
6 (Semasa): - Logik pengesanan dipertingkatkan repositori Isabelle dengan menggunakan API GitHub apabila sambungan tidak dapat menentukan ini dengan selamat.
Versi 1.
0.
5: - Betulkan untuk paparan versi.
Versi 1.
0.
4: - Keserasian yang lebih baik dengan Firefox.
- Kod sambungan yang dioptimumkan.
- Perintah \ tetap.
Versi 1.
0.
3: - Saiz sambungan dikurangkan kepada 2.
3MiB (saiz dibuka zip) dengan menggunakan penutupan dan meminimumkan perpustakaan MathJax.
- Peraturan penghurai dikemas kini untuk menangani subskrip bersarang dan melepaskan garis bawah.
- Logik pemuatan sambungan yang dioptimumkan untuk mudah alih.
Versi 1.
0.
2: - Menambah fail yang hilang.
Versi 1.
0.
1: - Keluaran kedai web Chrome awal.
Maklumat tambahan:
- Ditawarkan oleh pfribeiro
- Penilaian purata: 5 bintang (menyukainya)
Sambungan web Matisa disepadukan dengan OffiDocs Chromium dalam talian