https://github.com/HoTT/HoTT
Tip revision: 67cdb33f91a1fba2f4d8413757ab9813c2652bf4 authored by Ali Caglayan on 30 March 2021, 17:30:29 UTC
Merge pull request #1431 from Alizter/makefile_fix
Merge pull request #1431 from Alizter/makefile_fix
Tip revision: 67cdb33
| File | Mode | Size |
|---|---|---|
| .github | ||
| contrib | ||
| coq | ||
| coq-HoTT @ 5f99fa0 | ||
| etc | ||
| theories | ||
| .gitignore | -rw-r--r-- | 945 bytes |
| .gitmodules | -rw-r--r-- | 327 bytes |
| .mailmap | -rw-r--r-- | 2.7 KB |
| CREDITS.txt | -rw-r--r-- | 1.0 KB |
| INSTALL.md | -rw-r--r-- | 9.7 KB |
| LICENSE.txt | -rw-r--r-- | 1.6 KB |
| Makefile.am | -rw-r--r-- | 16.0 KB |
| README.md | -rw-r--r-- | 3.1 KB |
| STYLE.md | -rw-r--r-- | 63.8 KB |
| UNICODE.txt | -rw-r--r-- | 1.0 KB |
| _CoqProject | -rw-r--r-- | 18.1 KB |
| autogen.sh | -rwxr-xr-x | 857 bytes |
| configure.ac | -rw-r--r-- | 10.5 KB |
| hoq-config.in | -rwxr-xr-x | 1.8 KB |
| hoqc | -rwxr-xr-x | 1.5 KB |
| hoqchk | -rwxr-xr-x | 1.5 KB |
| hoqdep | -rwxr-xr-x | 1.5 KB |
| hoqide | -rwxr-xr-x | 1.5 KB |
| hoqidetop | -rwxr-xr-x | 1.6 KB |
| hoqtop | -rwxr-xr-x | 1.5 KB |
| hoqtop.byte | -rwxr-xr-x | 1.6 KB |
