Compare revisions

2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1
--- a/vendor/coq-serapi/sertop/sertop_arg.mli
+++ b/vendor/coq-serapi/sertop/sertop_arg.mli
--- a/vendor/coq-serapi/sertop/sertop_async.ml
+++ b/vendor/coq-serapi/sertop/sertop_async.ml
--- a/vendor/coq-serapi/sertop/sertop_async.mli
+++ b/vendor/coq-serapi/sertop/sertop_async.mli
--- a/vendor/coq-serapi/sertop/sertop_bin.ml
+++ b/vendor/coq-serapi/sertop/sertop_bin.ml
--- a/vendor/coq-serapi/sertop/sertop_init.ml
+++ b/vendor/coq-serapi/sertop/sertop_init.ml
--- a/vendor/coq-serapi/sertop/sertop_init.mli
+++ b/vendor/coq-serapi/sertop/sertop_init.mli
--- a/vendor/coq-serapi/sertop/sertop_js.ml
+++ b/vendor/coq-serapi/sertop/sertop_js.ml
--- a/vendor/coq-serapi/sertop/sertop_loader.ml
+++ b/vendor/coq-serapi/sertop/sertop_loader.ml
--- a/vendor/coq-serapi/sertop/sertop_loader.mli
+++ b/vendor/coq-serapi/sertop/sertop_loader.mli
--- a/vendor/coq-serapi/sertop/sertop_ser.ml
+++ b/vendor/coq-serapi/sertop/sertop_ser.ml
--- a/vendor/coq-serapi/sertop/sertop_ser.mli
+++ b/vendor/coq-serapi/sertop/sertop_ser.mli
--- 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
No results found