Chrome での Matisa と OffiDocs
Matisa Chrome ウェブストア拡張機能
説明：
OffiDocs Chromium online を使用して Chrome オンライン ウェブ ストア拡張機能 Matisa を実行します。
この拡張機能は、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: - 拡張機能のサイズを 2 に減らしました。
クロージャーを使用し、MathJax ライブラリを最小化することで 3MiB (解凍されたサイズ)。
- ネストされた添字とアンダースコアのエスケープを処理するためにパーサーのルールを更新しました。
- 拡張機能の読み込みロジックを移植可能に最適化しました。
バージョン1。
0.
2: - 欠落していたファイルを追加しました。
バージョン1。
0.
1: - Chrome ウェブストアの初期リリース。
追加情報：
- プフリベイロ提供
- 平均評価 : 5 つ星 (とても気に入りました)
Matisa Web 拡張機能が OffiDocs Chromium オンラインと統合されました