Matisa / Histórico de versõesMatisa · Histórico de versõesThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Escolha a versão para baixar1.0.626 de jun. de 2018MV2