Matisa / 歷史版本Matisa · 歷史版本This extension allows Isabelle math syntax on GitHub to be appropriately typeset.選擇下載版本1.0.62018年6月26日MV2