Matisa / వెర్షన్ చరిత్రMatisa · వెర్షన్ చరిత్రThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.డౌన్లోడ్ చేయాల్సిన వెర్షన్ ఎంచుకోండి1.0.626, జూన్ 2018MV2