Matisa / VersiooniajaluguMatisa · VersiooniajaluguThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Vali allalaaditav versioon1.0.626. juuni 2018MV2