Revision 94b1fdd79703ee5c9a164c3ab32e7c8c8db08e28 authored by Lennard Gäher on 17 September 2019, 07:20:29 UTC, committed by Lennard Gäher on 17 September 2019, 07:20:29 UTC
1 parent ccf1674
File | Mode | Size |
---|---|---|
src | ||
test-suite | ||
theories | ||
Makefile | -rw-r--r-- | 1.1 KB |
Makefile.erasure.local | -rw-r--r-- | 130 bytes |
Makefile.plugin.local | -rw-r--r-- | 74 bytes |
_CoqProject.in | -rw-r--r-- | 450 bytes |
_PluginProject.in | -rw-r--r-- | 2.3 KB |
clean_extraction.sh | -rwxr-xr-x | 919 bytes |
Computing file changes ...