rename constructors of Arrange to start with A instead of R
[coq-hetmet.git] / .gitignore
1 examples/tutorial.coqpass
2 examples/tutorial.tex
3 examples/tutorial.pdf
4 build/
5 build/**
6 examples/.build