マティサの Chrome OffiDocsで

DESCRIPTION

この拡張機能は、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 ウェブストアの初期リリース。

追加情報：

- プフリベイロ提供
- 平均評価 : 5 つ星 (とても気に入りました)

マティサ ウェブ extension OffiDocsと統合 Chromium オンライン