]> Git — Sourcephile - majurity.git/tree
protocol: rename Proove -> Prove
-rw-r--r-- 100 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 3081 GNUmakefile
-rw-r--r-- 245 HLint.hs
drwxr-xr-x - hjugement-protocol
drwxr-xr-x - hjugement