aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
blob: f3374cbd8c1bcde3f10e93caa8364241cd9343d6 (plain)
1
2
3
4
.directory
*.thy~
ex/*.thy~
ex/Hott book/*.thy~