-rw-r--r-- | 28939 | root |
root |
/usr/share/emacs/site-lisp/agda/agda-input.el
|
-rw-r--r-- | 2609 | root |
root |
/usr/share/emacs/site-lisp/agda/agda2-abbrevs.el
|
-rw-r--r-- | 14198 | root |
root |
/usr/share/emacs/site-lisp/agda/agda2-highlight.el
|
-rw-r--r-- | 49153 | root |
root |
/usr/share/emacs/site-lisp/agda/agda2-mode.el
|
-rw-r--r-- | 477 | root |
root |
/usr/share/emacs/site-lisp/agda/agda2.el
|
-rw-r--r-- | 8265 | root |
root |
/usr/share/emacs/site-lisp/agda/annotation.el
|
-rw-r--r-- | 6941 | root |
root |
/usr/share/emacs/site-lisp/agda/eri.el
|