1 files changed, 12 insertions, 1 deletions
diff --git a/.hgignore b/.hgignore
index ecf4ed7b..a52bee3a 100644
--- a/.hgignore
+++ b/.hgignore
@@ -1,11 +1,19 @@
 syntax: regexp
 ^Source/.*\.(user|suo|cache|vs10x)$
-^Binaries/.*\.(dll|pdb|exe|manifest|config|smt2|vsix|vsixmanifest|bpl|pkgdef)$
+^Binaries/.*\.(dll|pdb|exe|manifest|config|smt2|vsix|vsixmanifest|bpl|pkgdef|xml)$
 ^Source/.*\.(smt2|bpl)$
 ^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
 Test/.*/Output
 Test/desktop/.*
 Test/([^/]*)/([^/]*)\.sx
+^Test/sandbox/.*
+^Test/.*\.csv
+Package/.*
+Test/.*/flycheck_.*
+.*\.orig
+Test/.*\.bpl
+Test/.*/axiom-profiler.html
+Test/.*/z3.log
 syntax: glob
 *.exe
 *.pdb
@@ -13,3 +21,6 @@ syntax: glob
 *.tmp
 *.tmp.dfy
 Source/DafnyExtension/DafnyRuntime.cs
+Source/DafnyExtension/Z3-LICENSE.txt
+Test/failing.lst
+packages/*