Matisa / Versijų istorijaMatisa · Versijų istorijaThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Pasirinkite atsisiunčiamą versiją1.0.62018-06-26MV2