]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_disambiguation/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / ocaml / cic_disambiguation / .cvsignore
index b94ae04d120a692cd7c524b06a5cb6c4a1ae007f..93ed7a89c42ba0bde6485e31db8ce9058066621d 100644 (file)
@@ -1,7 +1,5 @@
-*.cma
-*.cmo
-*.cmi
-*.cmx
-*.cmxa
+*.cm[aiox] *.cmxa *.[ao]
 test_lexer
 test_parser
+macro_table.ml
+make_table