Compare revisions

2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1
--- a/vendor/coq-serapi/tests/genarg/functional_induction.v
+++ b/vendor/coq-serapi/tests/genarg/functional_induction.v
--- a/vendor/coq-serapi/tests/genarg/functional_scheme.v
+++ b/vendor/coq-serapi/tests/genarg/functional_scheme.v
--- a/vendor/coq-serapi/tests/genarg/hint_rewrite.v
+++ b/vendor/coq-serapi/tests/genarg/hint_rewrite.v
--- a/vendor/coq-serapi/tests/genarg/instantiate.v
+++ b/vendor/coq-serapi/tests/genarg/instantiate.v
--- a/vendor/coq-serapi/tests/genarg/intropattern.v
+++ b/vendor/coq-serapi/tests/genarg/intropattern.v
--- a/vendor/coq-serapi/tests/genarg/intros.v
+++ b/vendor/coq-serapi/tests/genarg/intros.v
--- a/vendor/coq-serapi/tests/genarg/libTactics.v
+++ b/vendor/coq-serapi/tests/genarg/libTactics.v
--- a/vendor/coq-serapi/tests/genarg/mbid.v
+++ b/vendor/coq-serapi/tests/genarg/mbid.v
--- a/vendor/coq-serapi/tests/genarg/move.v
+++ b/vendor/coq-serapi/tests/genarg/move.v
--- 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
No results found