Matisa in Chrome with OffiDocs
Matisa Chrome web store extension
SỰ MIÊU TẢ:
Run the Chrome online web store extension Matisa using OffiDocs Chromium online.
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: Version 1.
0.
6 (Current): - Improved detection logic of Isabelle repositories by using the GitHub API when the extension cannot safely determine this.
Version 1.
0.
5: - Fix for version display.
Version 1.
0.
4: - Improved compatibility with Firefox.
- Mã mở rộng được tối ưu hóa.
- Đã sửa \ yêu cầu.
Version 1.
0.
3: - Reduced extension size down to 2.
3MiB (size unzipped) by using closure and minimizing the MathJax library.
- Đã 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.
Version 1.
0.
2: - Added missing file.
Version 1.
0.
1: - Initial Chrome web store release.
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 integrated with the OffiDocs Chromium online