Matisa / Zgodovina različicMatisa · Zgodovina različicThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Izberite različico za prenos1.0.626. jun. 2018MV2