Search Portage & Overlays:
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