Diff of /.hgignore [e2d3b3] .. [e0afc7]  Maximize  Restore

Switch to side-by-side view

--- a/.hgignore
+++ b/.hgignore
@@ -1,2 +1,6 @@
 syntax: glob
 thys/Collections/generated
+thys/Tree-Automata/code/haskell/generated/Nat.hs
+thys/Tree-Automata/code/haskell/generated/Ta.hs
+thys/Tree-Automata/code/ml/generated/Ta.ML
+thys/Tree-Automata/code/ocaml/generated/Ta.ml