1 files changed, 8 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index d56598b..e8a31b4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,10 @@
+# Coq
 *.v#
+
+# TeX
+*.aux
+*.fdb_latexmk
+*.fls
+*.log
 *.pdf
+_minted*/