work in progress with voids and lveq (was: the most recent voids)

[helm.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index af77f87fa263227320df6a75f6ea4d7137250ae4..a433c4179b22556d421c4e107fefea6b08fc06fd 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -38,3 +38,5 @@ matita/matita/contribs/lambdadelta/token
 matita/matita/contribs/lambdadelta/2A1
 matita/matita/contribs/lambdadelta/apps_2/notation
 matita/matita/contribs/lambdadelta/apps_2/models
+matita/matita/contribs/lambdadelta/ground_2/xoa/xoa2.ma
+matita/matita/contribs/lambdadelta/ground_2/notation/xoa/notation2.ma