Matisa / Cronologia versioniMatisa · Cronologia versioniThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Scegli la versione da scaricare1.0.626 giu 2018MV2