Evaluation anf inference of formulas are now hconsed (in Formula).
[tatoo.git] / .gitignore
index 8709b08..419571d 100644 (file)
@@ -4,4 +4,6 @@ _build
 doc/*.ps
 doc/*.out
 doc/html/*
-tests/results/my.result
\ No newline at end of file
+tests/results/my.result
+.gitignore
+tests/docs/XPath-PT.xml
\ No newline at end of file