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