https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: f27a18a679b09b884f3ab63581c0048de9fa9089 authored by Gregory Malecha on 20 May 2019, 20:42:44 UTC
Merge pull request #62 from liyishuai/assoc
Tip revision: f27a18a
File Mode Size
deps.py -rwxr-xr-x 882 bytes
dir-locals.el -rw-r--r-- 73 bytes
whitespace.sh -rwxr-xr-x 58 bytes

back to top