Matisa / VersionshistorikMatisa · VersionshistorikThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Vælg den version, du vil downloade1.0.626. jun. 2018MV2