Matisa / VersiohistoriaMatisa · VersiohistoriaThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Valitse ladattava versio1.0.626.6.2018MV2