Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
app-emacs
/
metamath-mode
Major GNU Emacs mode for metamath files
https://github.com/samrushing/metamath-mode/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2023-01-30
app-emacs: H -> COMMIT
ff7d89f
Maciej Barć
committed on 2023-01-30 20:31:30 UTC
app-emacs/metamath-mode/metamath-mode-0_p20221005.ebuild
Commits on 2022-10-15
app-emacs/metamath-mode: new package; add 0_p20221005
2a35e09
Maciej Barć
committed on 2022-10-15 16:47:40 UTC
app-emacs/metamath-mode/Manifest
app-emacs/metamath-mode/files/50metamath-mode-gentoo.el
app-emacs/metamath-mode/metadata.xml
app-emacs/metamath-mode/metamath-mode-0_p20221005.ebuild