diff --git a/.gitignore b/.gitignore
index 461fcaaa5bda95393991c7b8b99f90405a764314..8eb29ec2a0b14a59658635f4b9dd8954f871775f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,9 +1,22 @@
 *.aux
 *.log
 /gtlc.pdf
-*.agdai
+
 *.fls
 *.fdb_latexmk
 *.synctex.gz
 *.out
+
+*.toc
+*.nav
+*.snm
+*.bbl
+*.blg
+
+\#*
+.\#*
+*.agdai
 *.agda~
+
+
+