aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
ModeNameSize
-rw-r--r--README328logplain
-rw-r--r--pg-xml.el7448logplain
-rw-r--r--proof-autoloads.el5960logplain
-rw-r--r--proof-compat.el7124logplain
-rw-r--r--proof-config.el77935logplain
-rw-r--r--proof-easy-config.el3307logplain
-rw-r--r--proof-indent.el3416logplain
-rw-r--r--proof-menu.el19006logplain
-rw-r--r--proof-script.el110315logplain
-rw-r--r--proof-shell.el80642logplain
-rw-r--r--proof-site.el10664logplain
-rw-r--r--proof-splash.el6379logplain
-rw-r--r--proof-syntax.el9080logplain
-rw-r--r--proof-system.el574logplain
-rw-r--r--proof-toolbar.el14925logplain
-rw-r--r--proof-utils.el24023logplain
-rw-r--r--proof-x-symbol.el12504logplain
-rw-r--r--proof.el3523logplain
-rw-r--r--span-extent.el3258logplain
-rw-r--r--span-overlay.el9069logplain
-rw-r--r--span.el524logplain
-rw-r--r--texi-docstring-magic.el13474logplain