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: a574a880a83256c89ec9b996d2285a802e03e1a8 (
plain
)
1
2
#/bin/sh
coq-tex
-n
72
-v
-sl
-small
main.tex
&&
latex
main.v.tex
