frap/.gitignore

25 lines
198 B
Text
Raw Normal View History

*~
*.aux
*.idx
*.log
*.out
*.pdf
*.toc
2015-12-31 19:40:01 +00:00
*.bbl
*.blg
*.ilg
*.ind
2015-12-31 20:44:34 +00:00
Makefile.coq
Makefile.coq.conf
2015-12-31 20:44:34 +00:00
*.glob
2019-03-04 16:23:01 +00:00
*.d
2015-12-31 20:44:34 +00:00
*.vo
2020-02-02 22:16:19 +00:00
*.vok
*.vos
2016-02-02 18:53:00 +00:00
frap.tgz
2016-02-22 15:36:30 +00:00
.coq-native
Deep.ml*
2016-04-10 19:10:56 +00:00
Deeper.ml*
DeeperWithFail.ml*
2017-03-19 00:20:23 +00:00
*.dir-locals.el