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
Tip revision: b960d7db28579930105304d22a3c69dc6b5cb8e5 authored by Matthieu Sozeau on 03 March 2020, 15:30:31 UTC
Fixed univ.v issue
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 |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...