Skip to content
Snippets Groups Projects
Normal view Permalink
.gitignore 84 B
Newer Older
Robbert Krebbers's avatar
Initial commit
Robbert Krebbers committed
1 
*.vo
Robbert Krebbers's avatar
Ignore .vio files.  
Robbert Krebbers committed
2 
*.vio
Ralf Jung's avatar
delete scons  
Ralf Jung committed
3 
*.v.d
Robbert Krebbers's avatar
Initial commit
Robbert Krebbers committed
4 5 6 
*.glob
*.cache
*.aux
Ralf Jung's avatar
delete scons  
Ralf Jung committed
7 
\#*\#
Ralf Jung's avatar
ignore some tmp emacs files  
Ralf Jung committed
8 
.\#*
Ralf Jung's avatar
delete scons  
Ralf Jung committed
9 
*~
Ralf Jung's avatar
(almost) instantiate lifting lemma for allocation  
Ralf Jung committed
10 
*.bak
Robbert Krebbers's avatar
Initial commit
Robbert Krebbers committed
11 
.coq-native/
Ralf Jung's avatar
simplify our build instructions to just "make"  
Ralf Jung committed
12 
Makefile.coq