Skip to content
Snippets Groups Projects
Normal view Permalink
.gitignore 63 B
Newer Older
Robbert Krebbers's avatar
Initial commit
Robbert Krebbers committed
1 
*.vo
Ralf Jung's avatar
delete scons  
Ralf Jung committed
2 
*.v.d
Robbert Krebbers's avatar
Initial commit
Robbert Krebbers committed
3 4 5 
*.glob
*.cache
*.aux
Ralf Jung's avatar
delete scons  
Ralf Jung committed
6 7 
\#*\#
*~
Robbert Krebbers's avatar
Initial commit
Robbert Krebbers committed
8 
.coq-native/
Ralf Jung's avatar
Prove some lemmas about uPred that I am used to  
Ralf Jung committed
9 
Makefile