Matisa · వెర్షన్ చరిత్ర

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

  1. 1.0.626, జూన్ 2018MV2