https://github.com/HoTT/HoTT
History
Tip revision: ee9750a531deffbfcd02b41496e8ab79405e230e authored by Matthieu Sozeau on 20 January 2013, 15:11:56 UTC
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

README.markdown

back to top