Matisa / Istoricul versiunilorMatisa · Istoricul versiunilorThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.Alegeți versiunea de descărcat1.0.626 iun. 2018MV2