Matisa / היסטוריית גרסאותMatisa · היסטוריית גרסאותThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.בחרו גרסה להורדה1.0.626 ביוני 2018MV2