app-emacs / metamath-mode metamath-mode Major GNU Emacs mode for metamath files homepage ↗ github: samrushing/metamath-mode Available in OverlayNewestEbuildsLast activity gentoo gitweb ↗ 0_p20221005 1 14 h details › Versions & arches VersionOverlay amd64x86 Committed 0_p20221005 gentoo ◐amd64 testing ◐x86 testing — view · download · history ↗ Runtime dependencies of 0_p20221005 show 1 lines >=app-editors/emacs-26.3:*