https://github.com/HoTT/HoTT
Tip revision: ee9750a531deffbfcd02b41496e8ab79405e230e authored by Matthieu Sozeau on 20 January 2013, 15:11:56 UTC
New flag to set for compat with latest trunk
New flag to set for compat with latest trunk
Tip revision: ee9750a
File | Mode | Size |
---|---|---|
contrib | ||
coq | ||
etc | ||
theories | ||
.gitignore | -rw-r--r-- | 502 bytes |
CREDITS.txt | -rw-r--r-- | 1.0 KB |
INSTALL.txt | -rw-r--r-- | 4.5 KB |
LICENSE.txt | -rw-r--r-- | 1.6 KB |
Makefile.am | -rw-r--r-- | 1.7 KB |
Makefile.in | -rw-r--r-- | 20.9 KB |
README.markdown | -rw-r--r-- | 2.1 KB |
configure | -rwxr-xr-x | 110.4 KB |
configure.ac | -rw-r--r-- | 3.9 KB |
hoqc.in | -rw-r--r-- | 592 bytes |
hoqide.in | -rw-r--r-- | 676 bytes |
hoqtop.in | -rw-r--r-- | 681 bytes |