Matisa ở Chrome với OffiDocs

MÔ TẢ

Tiện ích mở rộng này phân tích cú pháp Isabelle trên GitHub và hiển thị nó bằng MathJax.

Đây hiện là phiên bản beta, ví dụ có tại: https://github.

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

2016/utp Changelog: Phiên bản 1.0.6 (Hiện tại): - Cải thiện logic phát hiện của kho lưu trữ Isabelle bằng cách sử dụng API GitHub khi tiện ích mở rộng không thể xác định điều này một cách an toàn.

Phiên bản 1.0.5: - Sửa lỗi hiển thị phiên bản.

Phiên bản 1.0.4: - Cải thiện khả năng tương thích với Firefox.

- Mã mở rộng được tối ưu hóa.

- Đã sửa \ yêu cầu.

Phiên bản 1.0.3: - Giảm kích thước tiện ích mở rộng xuống còn 2.3MiB (kích thước đã giải nén) bằng cách sử dụng tính năng đóng và thu nhỏ thư viện MathJax.

- Đã cập nhật các quy tắc của trình phân tích cú pháp để xử lý các chỉ số lồng nhau và thoát khỏi dấu gạch dưới.

- Logic tải tiện ích mở rộng được tối ưu hóa để có thể di động.

Phiên bản 1.0.2: - Bổ sung file bị thiếu.

Phiên bản 1.0.1: - Bản phát hành đầu tiên trên cửa hàng Chrome trực tuyến.

Thông tin thêm:

- Được cung cấp bởi pfribeiro
- Đánh giá trung bình : 5 sao (thích nó)

Matisa web extension tích hợp với OffiDocs Chromium Trực tuyến