index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
make.result
blob: e35044f5e9c6215c40fc38d1053d62cc0a8cfd23 (
plain
)
1
Fri 10/12/2004 00:30: Success