https://github.com/HoTT/HoTT
Tip revision: c427e49d674799b681a77cd6d1adabea40ad1a2b authored by Jason Gross on 16 December 2016, 19:27:12 UTC
Bump submodule for better timing scripts
Bump submodule for better timing scripts
Tip revision: c427e49
| File | Mode | Size |
|---|---|---|
| contrib | ||
| coq | ||
| coq-HoTT @ 2290dbb | ||
| etc | ||
| theories | ||
| .gitignore | -rw-r--r-- | 1.3 KB |
| .gitmodules | -rw-r--r-- | 201 bytes |
| .mailmap | -rw-r--r-- | 2.7 KB |
| .travis.yml | -rw-r--r-- | 3.2 KB |
| CREDITS.txt | -rw-r--r-- | 1.0 KB |
| INSTALL.md | -rw-r--r-- | 11.5 KB |
| LICENSE.txt | -rw-r--r-- | 1.6 KB |
| Makefile.am | -rw-r--r-- | 16.0 KB |
| README.md | -rw-r--r-- | 2.7 KB |
| STYLE.md | -rw-r--r-- | 61.7 KB |
| UNICODE.txt | -rw-r--r-- | 1.0 KB |
| _CoqProject | -rw-r--r-- | 10.5 KB |
| autogen.sh | -rwxr-xr-x | 1.6 KB |
| configure.ac | -rw-r--r-- | 8.1 KB |
| hoq-config.in | -rw-r--r-- | 1.7 KB |
| hoqc | -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 |
