Matisa / பதிப்பு வரலாறுMatisa · பதிப்பு வரலாறுThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.பதிவிறக்க வேண்டிய பதிப்பைத் தேர்ந்தெடுக்கவும்1.0.626 ஜூன், 2018MV2