aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
blob: de525c37fc4b2f6f5e003da362d0fa2383e7028b (plain)
1
2
3
4
5
*~
*.bak
\#*.thy#
\#*.ML#