Matisa / Sürüm geçmişiMatisa · Sürüm geçmişiThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.İndirilecek sürümü seçin1.0.626 Haz 2018MV2