aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
blob: e863a1e2b760bf6b3705af187f5921743fe233a0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
.directory
*.thy~
\#*.thy#

ex/*.thy~
ex/\#*.thy#

ex/Hott book/*.thy~
ex/Hott book/\#*.thy#

tests/*.thy~
tests/\#*.thy#