projects
/
coq-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
f7f85d1f24a609cbff7066a9f9e168920ed2e00a
[coq-hetmet.git]
/
.gitignore
1
examples/tutorial.coqpass
2
examples/tutorial.tex
3
examples/tutorial.pdf
4
build/
5
build/**
6
examples/.build