K 10
svn:author
V 6
arrowd
K 8
svn:date
V 27
2020-08-19T12:27:36.899815Z
K 7
svn:log
V 97
math/hs-Agda: Do not compile Emacs mode files, because they are incompatible
with our new Emacs.

END