summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--README.md125logplain
-rw-r--r--definition-macros.lisp652logplain
-rw-r--r--downloader.lisp2641logplain
-rw-r--r--package.lisp676logplain
-rw-r--r--utilities.lisp3506logplain
-rw-r--r--vampire.asd563logplain
-rw-r--r--vampire.lisp14461logplain