Revision 14a82bff48cf0cbb0b38b472f379163801ab2b23 authored by Jason Gross on 31 October 2017, 22:06:52 UTC, committed by Jason Gross on 31 October 2017, 22:06:52 UTC
Integrate changes added when merging into Coq
1 parent f800570
| File | Mode | Size |
|---|---|---|
| compatibility | ||
| depgraphs | ||
| formatting | ||
| timing | ||
| .gitattributes | -rw-r--r-- | 298 bytes |
| .gitignore | -rw-r--r-- | 48 bytes |
| LICENSE | -rw-r--r-- | 1.1 KB |
| Makefile.clean_unmade | -rw-r--r-- | 992 bytes |
| Makefile.coq.common | -rw-r--r-- | 7.4 KB |
| Makefile.vo_closure | -rw-r--r-- | 1.4 KB |
| README.md | -rw-r--r-- | 75 bytes |
| pushd-root.sh | -rw-r--r-- | 1.9 KB |
| strictify-coqdep.py | -rwxr-xr-x | 449 bytes |
Computing file changes ...
