gentoo.mahdi.cz

  

app-emacs:annotation


Functions for annotating text with faces and help bubbles
https://github.com/agda/agda

annotation-20200914.644
download~amd64 ~x86melpa
annotation-2.6.4.3
download~amd64 ~x86melpa-stable