1 files changed, 10 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 2999112..7f6bd74 100644
--- a/.gitignore
+++ b/.gitignore
@@ -305,3 +305,13 @@ TSWLatexianTemp*
 
 *.pgf
 *.pdf
+
+*.coq.d
+*.glob
+*.v
+*.vo
+*.vok
+*.vos
+*.coq
+*.coq.conf
+_CoqProject