https://github.com/coq-ext-lib/coq-ext-lib
Tip revision: 137198f749835153ffac389ae22f8eadd2c9f604 authored by gregory malecha on 27 November 2012, 22:36:21 UTC
cosmetic fix for a major problem with the library abstraction.
cosmetic fix for a major problem with the library abstraction.
Tip revision: 137198f
.gitignore
*.vo
*.glob
*.v.d
Makefile.coq
*~
\#*
.#*
.dir-locals.el
deps.dot
deps.pdf