Compare revisions

2a40a0b1 · db346ca3 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1
--- a/frontend/node/src/headless.ts
+++ b/frontend/node/src/headless.ts
--- a/frontend/node/src/my_fflate.ts
+++ b/frontend/node/src/my_fflate.ts
--- a/index.html
+++ b/index.html
--- a/jscoq.opam
+++ b/jscoq.opam
--- a/package-lock.json
+++ b/package-lock.json
--- a/package.json
+++ b/package.json
--- a/package.json.wacoq
+++ b/package.json.wacoq
--- a/tests/qa0/nonzeros.v
+++ b/tests/qa0/nonzeros.v
--- a/coq-serapi @ 0bd0772f
+++ b/coq-serapi @ 0bd0772f
--- a/vendor/coq-serapi/.github/workflows/ci.yml
+++ b/vendor/coq-serapi/.github/workflows/ci.yml
--- a/vendor/coq-serapi/.gitignore
+++ b/vendor/coq-serapi/.gitignore
--- a/vendor/coq-serapi/.ocamlformat
+++ b/vendor/coq-serapi/.ocamlformat
--- a/vendor/coq-serapi/AUTHORS
+++ b/vendor/coq-serapi/AUTHORS
--- a/vendor/coq-serapi/CHANGES.md
+++ b/vendor/coq-serapi/CHANGES.md
--- a/vendor/coq-serapi/CODE_OF_CONDUCT.md
+++ b/vendor/coq-serapi/CODE_OF_CONDUCT.md
--- a/vendor/coq-serapi/CONTRIBUTING.md
+++ b/vendor/coq-serapi/CONTRIBUTING.md
--- a/vendor/coq-serapi/FAQ.md
+++ b/vendor/coq-serapi/FAQ.md
--- a/vendor/coq-serapi/LICENSE
+++ b/vendor/coq-serapi/LICENSE
--- a/vendor/coq-serapi/Makefile
+++ b/vendor/coq-serapi/Makefile
--- a/vendor/coq-serapi/README.md
+++ b/vendor/coq-serapi/README.md
No results found