Matisa / ಆವೃತ್ತಿ ಇತಿಹಾಸMatisa · ಆವೃತ್ತಿ ಇತಿಹಾಸThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.ಡೌನ್ಲೋಡ್ ಮಾಡಬೇಕಾದ ಆವೃತ್ತಿಯನ್ನು ಆರಿಸಿ1.0.6ಜೂನ್ 26,2018MV2