Compare revisions

2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1
--- 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
--- a/vendor/coq-serapi/tests/sertop/full_env.in
+++ b/vendor/coq-serapi/tests/sertop/full_env.in
--- a/webpack.config.js
+++ b/webpack.config.js
No results found