index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
tov8
blob: b47f482e8f30ab5312ebff86b03e86f98a6fe3cb (
plain
)
1
2
3
4
5
#!/bin/sh ./tradv8 $1 mv $1 $1.save mv $1.v8 $1