Matisa / Historial de versionesMatisa · Historial de versionesThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Elige la versión que quieres descargar1.0.626 jun 2018MV2