Revision 6cbbd2d7dcc46efeaad9cd17d28301fe5d75f3bb authored by Jason Gross on 15 May 2021, 15:54:37 UTC, committed by Jason Gross on 15 May 2021, 15:54:37 UTC
1 parent fbb9725
History
File Mode Size
.github
etc
src
.gitattributes -rw-r--r-- 32 bytes
.gitignore -rw-r--r-- 2.9 KB
.gitmodules -rw-r--r-- 107 bytes
.mailmap -rw-r--r-- 2.3 KB
AUTHORS -rw-r--r-- 503 bytes
CONTRIBUTORS -rw-r--r-- 1.0 KB
COPYRIGHT -rw-r--r-- 370 bytes
LICENSE-APACHE -rw-r--r-- 635 bytes
LICENSE-BSD-1 -rw-r--r-- 1.1 KB
LICENSE-MIT -rw-r--r-- 1.1 KB
Makefile -rw-r--r-- 2.9 KB
Makefile.local -rw-r--r-- 288 bytes
Makefile.local-late -rw-r--r-- 610 bytes
Makefile.local.common -rw-r--r-- 2.4 KB
README.md -rw-r--r-- 12.4 KB
_CoqProject.in -rw-r--r-- 5.1 KB
rewriting-extended.md -rw-r--r-- 125.0 KB

README.md

back to top