Compare revisions

2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 01507519 · 2a40a0b1
--- a/frontend/cli/build/workspace.ts
+++ b/frontend/cli/build/workspace.ts
--- a/frontend/cli/cli.ts
+++ b/frontend/cli/cli.ts
--- a/frontend/format-pprint/js/index.js
+++ b/frontend/format-pprint/js/index.js
--- 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.js
+++ b/jscoq.js
--- 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
No results found