https://github.com/mit-plv/fiat-crypto
Tip revision: 31d577c84f2b987ac040565b7a2dd392a58e851a authored by Andres Erbsen on 15 November 2016, 20:46:47 UTC
remove outdated files: roadmap and to_gallina
remove outdated files: roadmap and to_gallina
Tip revision: 31d577c
.gitignore
*#
*.aux
*.d
*.glob
*.vio
*.vo
*~
.#*
/.dir-locals.el
Makefile.bak
Makefile.coq
Makefile.coq.bak
csdp.cache
lia.cache
nlia.cache
nia.cache
nra.cache
.csdp.cache
.lia.cache
.nlia.cache
.nia.cache
.nra.cache
