Matisa masuk Chrome dengan OffiDocs

DESCRIPTION

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 bagi repositori Isabelle dengan menggunakan API GitHub apabila sambungan tidak dapat menentukan perkara 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: - Mengurangkan saiz sambungan 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)

web matisa extension disepadukan dengan OffiDocs Chromium talian