Matisa · ಆವೃತ್ತಿ ಇತಿಹಾಸ

This extension allows Isabelle math syntax on GitHub to be appropriately typeset.

  1. 1.0.6ಜೂನ್ 26,2018MV2