Matisa / Version historyMatisa · Version historyThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Choose a download version1.0.6Jun 26, 2018MV2