Matisa / Historie verzíMatisa · Historie verzíThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Vyberte verzi ke stažení1.0.626. 6. 2018MV2