마티사 Chrome OffiDocs와 함께

기술

이 확장은 GitHub의 Isabelle 구문을 구문 분석하고 MathJax를 사용하여 렌더링합니다.

이는 현재 베타 버전이며, 예제는 https://github에서 확인할 수 있습니다.

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

2016/utp 변경 로그: 버전 1.0.6(현재): - 확장 프로그램이 이를 안전하게 결정할 수 없는 경우 GitHub API를 사용하여 Isabelle 저장소의 감지 논리가 개선되었습니다.

버전 1.0.5: - 버전 표시 수정.

버전 1.0.4: - Firefox와의 호환성이 향상되었습니다.

- 최적화된 확장 코드.

- 고정 \ 명령.

버전 1.0.3: - 클로저를 사용하고 MathJax 라이브러리를 최소화하여 확장 크기를 2.3MiB(압축 해제된 크기)로 줄였습니다.

- 중첩된 아래 첨자와 밑줄 이스케이프를 처리하도록 파서 규칙을 업데이트했습니다.

- 확장 로딩 로직이 이식 가능하도록 최적화되었습니다.

버전 1.0.2: - 누락된 파일을 추가했습니다.

버전 1.0.1: - 초기 Chrome 웹 스토어 출시.

추가 정보 :

- pfribeiro 제공
- 평균 평점: 별 5개(좋아요)

마티사 웹 extension OffiDocs와 통합 Chromium 온라인