มาติสา อิน Chrome ด้วย OffiDocs

DESCRIPTION

ส่วนขยายนี้แยกวิเคราะห์ไวยากรณ์ของ Isabelle บน GitHub และแสดงผลโดยใช้ MathJax

ขณะนี้เป็นเวอร์ชันเบต้า ตัวอย่างมีอยู่ที่: https://github

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

2016/utp Changelog: เวอร์ชัน 1.0.6 (ปัจจุบัน): - ปรับปรุงตรรกะการตรวจจับของที่เก็บ Isabelle โดยใช้ GitHub API เมื่อส่วนขยายไม่สามารถระบุสิ่งนี้ได้อย่างปลอดภัย

เวอร์ชัน 1.0.5: - แก้ไขการแสดงเวอร์ชัน

เวอร์ชัน 1.0.4: - ปรับปรุงความเข้ากันได้กับ Firefox

- รหัสส่วนขยายที่ปรับให้เหมาะสม

- ที่ตายตัว \ สั่งการ.

เวอร์ชัน 1.0.3: - ลดขนาดส่วนขยายลงเหลือ 2.3MiB (คลายซิปขนาด) โดยใช้การปิดและลดขนาดไลบรารี MathJax

- อัปเดตกฎของ parser เพื่อจัดการกับตัวห้อยที่ซ้อนกันและการหลบหนีของขีดล่าง

- ตรรกะการโหลดส่วนขยายที่ปรับให้เหมาะสมเพื่อให้สามารถพกพาได้

เวอร์ชัน 1.0.2: - เพิ่มไฟล์ที่หายไป

เวอร์ชัน 1.0.1: - การเปิดตัว Chrome เว็บสโตร์ครั้งแรก

ข้อมูลเพิ่มเติม:

- นำเสนอโดย pfribeiro
- เรตติ้งเฉลี่ย : 5 ดาว (ชอบมาก)

เว็บมาติสา extension รวมเข้ากับ OffiDocs Chromium ออนไลน์