Matisa / Versiju vēstureMatisa · Versiju vēstureThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Izvēlieties lejupielādējamo versiju1.0.62018. g. 26. jūn.MV2