Matisa / سجل الإصداراتMatisa · سجل الإصداراتThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.اختر الإصدار الذي تريد تنزيله1.0.626 يونيو 2018MV2