Evaluation anf inference of formulas are now hconsed (in Formula).

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 60db691..419571d 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,9 @@
 _build
 *.native
 *.byte
+doc/*.ps
+doc/*.out
+doc/html/*
+tests/results/my.result
+.gitignore
+tests/docs/XPath-PT.xml
\ No newline at end of file