Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Matisa란 무엇입니까?
Matisa은(는) pfribeiro에 의해 개발된 Chrome 확장 프로그램으로, 주요 기능은 "This extension allows Isabelle math syntax on GitHub to be appropriately typeset."입니다.
확장 프로그램 스크린샷
Matisa 확장 프로그램 CRX 파일 다운로드
크롬 확장 프로그램을 crx 형식으로 다운로드하여 브라우저에 수동으로 설치하거나 crx 파일을 친구들과 공유하여 쉽게 크롬 확장 프로그램을 설치하세요.
확장 프로그램 사용 설명서
This extension parses Isabelle syntax on GitHub and renders it using MathJax. This is currently a beta version, example available at: 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. - Optimized extension code. - Fixed \command. Version 1.0.3: - Reduced extension size down to 2.3MiB (size unzipped) by using closure and minimizing the MathJax library. - Updated parser's rules to deal with nested subscripts and escaping of underscores. - Optimized extension loading logic to be portable. Version 1.0.2: - Added missing file. Version 1.0.1: - Initial Chrome web store release.
확장 프로그램 기본 정보
이름 | Matisa |
ID | jkpdfeicbjekckenhpippdllibmbcinf |
공식 URL | https://chromewebstore.google.com/detail/matisa/jkpdfeicbjekckenhpippdllibmbcinf |
설명 | This extension allows Isabelle math syntax on GitHub to be appropriately typeset. |
파일 크기 | 1.38 MB |
설치 횟수 | 28 |
현재 버전 | 1.0.6 |
최근 업데이트 | 2016-08-28 |
출시 날짜 | 2016-08-28 |
평점 | 5.00/5 총 3 개의 평점 |
개발자 | pfribeiro |
결제 유형 | free |
지원되는 언어 | en-GB |
manifest.json | |
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "manifest_version": 2, "name": "Matisa", "description": "This extension allows Isabelle math syntax on GitHub to be appropriately typeset.", "version": "1.0.6", "browser_action": { "default_icon": "matisa128.png", "default_popup": "popup.html" }, "icons": { "16": "matisa16.png", "128": "matisa128.png" }, "content_scripts": [ { "matches": [ "*:\/\/github.com\/*" ], "js": [ "eventPage.js" ] } ], "web_accessible_resources": [ "MathJax.js", "config\/*", "extensions\/*", "fonts\/*", "jax\/*", "localization\/*", "matisa.js", "config.js", "isabellesyntax.js" ], "permissions": [ "*:\/\/github.com\/*" ] } |