Blame · .gitignore · 951d8927976ae16b157241408bc144387256f59a · Iris / Iris · GitLab

Find file Normal view History Permalink

.gitignore 63 Bytes

Newer Older

Initial commit Robbert Krebbers committed Nov 11, 2015	1	`*.vo`
delete scons Ralf Jung committed Jan 21, 2016	2	`*.v.d`
Initial commit Robbert Krebbers committed Nov 11, 2015	3 4 5	`.glob .cache *.aux`
delete scons Ralf Jung committed Jan 21, 2016	6 7	`\#\# ~`
Initial commit Robbert Krebbers committed Nov 11, 2015	8	`.coq-native/`
Prove some lemmas about uPred that I am used to Ralf Jung committed Jan 25, 2016	9	`Makefile`