Matisa / VersiegeschiedenisMatisa · VersiegeschiedenisThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Kies de versie om te downloaden1.0.626 jun 2018MV2