Compare revisions

2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1
--- a/vendor/coq-serapi/tests/genarg/now.v
+++ b/vendor/coq-serapi/tests/genarg/now.v
--- a/vendor/coq-serapi/tests/genarg/primitives.v
+++ b/vendor/coq-serapi/tests/genarg/primitives.v
--- a/vendor/coq-serapi/tests/genarg/rename.v
+++ b/vendor/coq-serapi/tests/genarg/rename.v
--- a/vendor/coq-serapi/tests/genarg/replace.v
+++ b/vendor/coq-serapi/tests/genarg/replace.v
--- a/vendor/coq-serapi/tests/genarg/revert.v
+++ b/vendor/coq-serapi/tests/genarg/revert.v
--- a/vendor/coq-serapi/tests/genarg/setoid_rewrite.v
+++ b/vendor/coq-serapi/tests/genarg/setoid_rewrite.v
--- a/vendor/coq-serapi/tests/genarg/specialize.v
+++ b/vendor/coq-serapi/tests/genarg/specialize.v
--- a/vendor/coq-serapi/tests/genarg/subst.v
+++ b/vendor/coq-serapi/tests/genarg/subst.v
--- a/vendor/coq-serapi/tests/genarg/symmetry.v
+++ b/vendor/coq-serapi/tests/genarg/symmetry.v
--- a/vendor/coq-serapi/tests/genarg/tactic_notation.v
+++ b/vendor/coq-serapi/tests/genarg/tactic_notation.v
--- a/vendor/coq-serapi/tests/genarg/test_roundtrip.in
+++ b/vendor/coq-serapi/tests/genarg/test_roundtrip.in
--- a/vendor/coq-serapi/tests/quick/ab.v
+++ b/vendor/coq-serapi/tests/quick/ab.v
--- a/vendor/coq-serapi/tests/quick/assoc.v
+++ b/vendor/coq-serapi/tests/quick/assoc.v
--- a/vendor/coq-serapi/tests/quick/dune
+++ b/vendor/coq-serapi/tests/quick/dune
--- a/vendor/coq-serapi/tests/quick/ordered.v
+++ b/vendor/coq-serapi/tests/quick/ordered.v
--- a/vendor/coq-serapi/tests/quick/reserved.v
+++ b/vendor/coq-serapi/tests/quick/reserved.v
--- a/vendor/coq-serapi/tests/sername/dune
+++ b/vendor/coq-serapi/tests/sername/dune
--- a/vendor/coq-serapi/tests/sername/nat_add.out
+++ b/vendor/coq-serapi/tests/sername/nat_add.out
--- a/vendor/coq-serapi/tests/sername/nat_add.sername
+++ b/vendor/coq-serapi/tests/sername/nat_add.sername
--- a/vendor/coq-serapi/tests/sertop/dune
+++ b/vendor/coq-serapi/tests/sertop/dune
No results found