summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--README.md125logplain
-rw-r--r--package.lisp56logplain
-rw-r--r--vampire.asd303logplain
-rw-r--r--vampire.lisp42logplain