Matisa / バージョン履歴Matisa · バージョン履歴This extension allows Isabelle math syntax on GitHub to be appropriately typeset.ダウンロードするバージョンを選択1.0.62018年6月26日MV2