https://github.com/HoTT/HoTT
Tip revision: 7bbc57c29b6104bff0ade33408e3e86c98b9744e authored by Bas Spitters on 24 January 2019, 15:48:22 UTC
Merge pull request #988 from JasonGross/release-8.9
Merge pull request #988 from JasonGross/release-8.9
Tip revision: 7bbc57c
| File | Mode | Size |
|---|---|---|
| contrib | ||
| coq | ||
| coq-HoTT @ cdfbae9 | ||
| etc | ||
| theories | ||
| .gitignore | -rw-r--r-- | 844 bytes |
| .gitmodules | -rw-r--r-- | 328 bytes |
| .mailmap | -rw-r--r-- | 2.7 KB |
| .travis.yml | -rw-r--r-- | 2.4 KB |
| CREDITS.txt | -rw-r--r-- | 1.0 KB |
| INSTALL.md | -rw-r--r-- | 8.9 KB |
| LICENSE.txt | -rw-r--r-- | 1.6 KB |
| Makefile.am | -rw-r--r-- | 16.5 KB |
| README.md | -rw-r--r-- | 2.7 KB |
| STYLE.md | -rw-r--r-- | 62.4 KB |
| UNICODE.txt | -rw-r--r-- | 1.0 KB |
| _CoqProject | -rw-r--r-- | 12.9 KB |
| autogen.sh | -rwxr-xr-x | 1.6 KB |
| configure.ac | -rw-r--r-- | 9.3 KB |
| hoq-config.in | -rw-r--r-- | 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 |
| hoqtop | -rwxr-xr-x | 1.5 KB |
| hoqtop.byte | -rwxr-xr-x | 1.6 KB |
