Matisa / VerzióelőzményekMatisa · VerzióelőzményekThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Válassza ki a letöltendő verziót1.0.62018. jún. 26.MV2