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

about summary refs log tree commit diff

path: root/.gitignore

blob: f3374cbd8c1bcde3f10e93caa8364241cd9343d6 (plain)

.directory
*.thy~
ex/*.thy~
ex/Hott book/*.thy~