aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
blob: 6f769bdaec26754ab60938777e8b6bc8cc742c26 (plain) 
1
2
3
4
5

.directory
*.thy~
ex/*.thy~
ex/Hott book/*.thy~
tests/*.thy~
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-09 10:13:55 +0000