.gitignore - Isabelle-HoTT - trying to make Isabelle/HoTT work with Isabelle 2021-1

about summary refs log tree commit diff

path: root/.gitignore

blob: e863a1e2b760bf6b3705af187f5921743fe233a0 (plain)

.directory
*.thy~
\#*.thy#

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

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

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