index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
newfaq
/
run.sh
blob: b3b481369b92cca786a8b11217721e82f08bb994 (
plain
)
1
2
#/bin/sh
coq-tex
main.tex
&&
latex
main.v.tex
