Matisa / History ng bersyonMatisa · History ng bersyonThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Piliin ang bersyong ida-download1.0.6Hun 26, 2018MV2