Matisa / Историја верзијаMatisa · Историја верзијаThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Изаберите верзију за преузимање1.0.626. јун 2018.MV2