Compare revisions

2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1
--- a/vendor/coq-serapi/sertop/sertop_sexp.ml
+++ b/vendor/coq-serapi/sertop/sertop_sexp.ml
--- a/vendor/coq-serapi/sertop/sertop_sexp.mli
+++ b/vendor/coq-serapi/sertop/sertop_sexp.mli
--- a/vendor/coq-serapi/sertop/sertop_util.ml
+++ b/vendor/coq-serapi/sertop/sertop_util.ml
--- a/vendor/coq-serapi/sertop/sertop_util.mli
+++ b/vendor/coq-serapi/sertop/sertop_util.mli
--- a/vendor/coq-serapi/tests/async/dune
+++ b/vendor/coq-serapi/tests/async/dune
--- a/vendor/coq-serapi/tests/async/quote.v
+++ b/vendor/coq-serapi/tests/async/quote.v
--- a/vendor/coq-serapi/tests/fail/assoc.v
+++ b/vendor/coq-serapi/tests/fail/assoc.v
--- a/vendor/coq-serapi/tests/fail/dune
+++ b/vendor/coq-serapi/tests/fail/dune
--- a/vendor/coq-serapi/tests/genarg/abstract.v
+++ b/vendor/coq-serapi/tests/genarg/abstract.v
--- 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
No results found