Compare revisions

2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1
--- a/vendor/coq-serapi/tests/genarg/add_field.v
+++ b/vendor/coq-serapi/tests/genarg/add_field.v
--- a/vendor/coq-serapi/tests/genarg/auto.v
+++ b/vendor/coq-serapi/tests/genarg/auto.v
--- a/vendor/coq-serapi/tests/genarg/case.v
+++ b/vendor/coq-serapi/tests/genarg/case.v
--- a/vendor/coq-serapi/tests/genarg/clear.v
+++ b/vendor/coq-serapi/tests/genarg/clear.v
--- a/vendor/coq-serapi/tests/genarg/dune
+++ b/vendor/coq-serapi/tests/genarg/dune
--- a/vendor/coq-serapi/tests/genarg/eauto.v
+++ b/vendor/coq-serapi/tests/genarg/eauto.v
--- a/vendor/coq-serapi/tests/genarg/elim.v
+++ b/vendor/coq-serapi/tests/genarg/elim.v
--- a/vendor/coq-serapi/tests/genarg/exact.v
+++ b/vendor/coq-serapi/tests/genarg/exact.v
--- a/vendor/coq-serapi/tests/genarg/exists.v
+++ b/vendor/coq-serapi/tests/genarg/exists.v
--- a/vendor/coq-serapi/tests/genarg/firstorder.v
+++ b/vendor/coq-serapi/tests/genarg/firstorder.v
--- a/vendor/coq-serapi/tests/genarg/fix.v
+++ b/vendor/coq-serapi/tests/genarg/fix.v
--- 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
No results found