1 files changed, 3 insertions, 0 deletions

diff --git a/.hgignore b/.hgignore
index cfb45564..401353b3 100644
--- a/.hgignore
+++ b/.hgignore
@@ -48,6 +48,9 @@ doc/*.html
 Makefile.coq
 *.vo
 
+xml/parse
+xml/entities.sml
+
 syntax: regexp
 
 ^Makefile$