aboutsummaryrefslogtreecommitdiffhomepage
path: root/easycrypt
ModeNameSize
-rw-r--r--easycrypt-abbrev.el912logplain
-rw-r--r--easycrypt-hooks.el2790logplain
-rw-r--r--easycrypt-keywords.el2292logplain
-rw-r--r--easycrypt-syntax.el6772logplain
-rw-r--r--easycrypt.el10140logplain