distorted.lisp: New alias `git-master' for vampire.
-rw-r--r-- 77 .gitignore
-rw-r--r-- 4727 Makefile
-rw-r--r-- 4083 distorted.lisp
-rw-r--r-- 16779 distorted.tex
-rw-r--r-- 585 felixpearce.lisp
-rw-r--r-- 667 harlequin.lisp
-rw-r--r-- 2877 hosts.lisp