https://github.com/MevenBertrand/metacoq
Revision b960d7db28579930105304d22a3c69dc6b5cb8e5 authored by Matthieu Sozeau on 03 March 2020, 15:30:31 UTC, committed by Matthieu Sozeau on 10 March 2020, 13:36:59 UTC
1 parent f698673
History
Tip revision: b960d7db28579930105304d22a3c69dc6b5cb8e5 authored by Matthieu Sozeau on 03 March 2020, 15:30:31 UTC
Fixed univ.v issue
Tip revision: b960d7d
File Mode Size
gen-src
src
test-plugin
theories
.gitignore -rw-r--r-- 36 bytes
META.template-coq -rw-r--r-- 236 bytes
Makefile -rw-r--r-- 1.8 KB
Makefile.coq.local -rw-r--r-- 31 bytes
Makefile.plugin.local -rw-r--r-- 301 bytes
Makefile.template.local -rw-r--r-- 0 bytes
_CoqProject -rw-r--r-- 1.0 KB
_PluginProject -rw-r--r-- 2.5 KB
_TemplateCoqProject -rw-r--r-- 439 bytes
extraction.patch -rw-r--r-- 396 bytes
update_plugin.sh -rwxr-xr-x 815 bytes

back to top