alpaylan
diff --git a/‎.gitignore
+1 b/‎.gitignore
+1
diff --git a/‎tail-coq/template.glob
-45 b/‎tail-coq/template.glob
-45
diff --git a/‎tail-coq/template.v
-44 b/‎tail-coq/template.v
-44
diff --git a/‎tail-coq/template.vo
-18.1 KB b/‎tail-coq/template.vo
-18.1 KB
diff --git a/‎tail-coq/template.vok b/‎tail-coq/template.vok
diff --git a/‎tail-coq/template.vos b/‎tail-coq/template.vos
@@ -3,3 +3,4 @@ lambdaconf/
 .vscode/
 tail-latex/
 .DS_Store
+tail-coq/