Matisa / VersjonshistorikkMatisa · VersjonshistorikkThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Velg versjonen du vil laste ned1.0.626. juni 2018MV2