Gentoo Portage Overlays - app-emacs/metamath-mode

Newest News Repository news GLSAs Browse USE Flags Overlays More...

app-emacs/metamath-mode

Major GNU Emacs mode for metamath files

Screenshots

https://github.com/samrushing/metamath-mode/

metamath-mode-0_p20221005

~amd64 ~x86

View

Download

Browse License: MIT

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs