index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
distrib
/
MacOS-X
Mode
Name
Size
-rw-r--r--
Licence.rtf.template
27681
log
plain
-rw-r--r--
ReadMe.rtf.template
1229
log
plain
-rw-r--r--
Welcome.rtf.template
381
log
plain
-rw-r--r--
coq.info.template
236
log
plain
-rwxr-xr-x
package
6541
log
plain