Matisa / Historial de versionsMatisa · Historial de versionsThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Trieu la versió que voleu baixar1.0.626 de juny del 2018MV2