Matisa masuk Chrome dengan OffiDocs

DESKRIPSI

Ekstensi ini mem-parsing sintaksis Isabelle di GitHub dan merendernya menggunakan MathJax.

Saat ini versi beta, contoh tersedia di: https://github.

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

2016/utp Changelog: Versi 1.0.6 (Saat Ini): - Peningkatan logika deteksi repositori Isabelle dengan menggunakan GitHub API ketika ekstensi tidak dapat menentukan ini dengan aman.

Versi 1.0.5: - Perbaikan untuk tampilan versi.

Versi 1.0.4: - Peningkatan kompatibilitas dengan Firefox.

- Kode ekstensi yang dioptimalkan.

- Tetap \ memerintah.

Versi 1.0.3: - Mengurangi ukuran ekstensi menjadi 2.3MiB (ukuran tidak di-zip) dengan menggunakan penutupan dan meminimalkan perpustakaan MathJax.

- Memperbarui aturan parser untuk menangani subskrip bersarang dan keluar dari garis bawah.

- Logika pemuatan ekstensi yang dioptimalkan agar portabel.

Versi 1.0.2: - Menambahkan file yang hilang.

Versi 1.0.1: - Rilis awal toko web Chrome.

Informasi tambahan:

- Ditawarkan oleh pfribeiro
- Peringkat rata-rata: 5 bintang (menyukainya)

Matisa web extension terintegrasi dengan OffiDocs Chromium secara online