Matisa / تاریخچهٔ نسخههاMatisa · تاریخچهٔ نسخههاThis extension allows Isabelle math syntax on GitHub to be appropriately typeset.نسخهٔ موردنظر برای دانلود را انتخاب کنید1.0.6۵ تیر ۱۳۹۷MV2