Showing
- frontend/cli/build/workspace.ts 1 addition, 1 deletionfrontend/cli/build/workspace.ts
- frontend/cli/cli.ts 2 additions, 2 deletionsfrontend/cli/cli.ts
- frontend/format-pprint/js/index.js 1 addition, 1 deletionfrontend/format-pprint/js/index.js
- frontend/node/src/headless.ts 20 additions, 10 deletionsfrontend/node/src/headless.ts
- frontend/node/src/my_fflate.ts 0 additions, 51 deletionsfrontend/node/src/my_fflate.ts
- index.html 9 additions, 11 deletionsindex.html
- jscoq.js 1 addition, 0 deletionsjscoq.js
- jscoq.opam 5 additions, 4 deletionsjscoq.opam
- package-lock.json 585 additions, 349 deletionspackage-lock.json
- package.json 7 additions, 5 deletionspackage.json
- package.json.wacoq 0 additions, 88 deletionspackage.json.wacoq
- tests/qa0/nonzeros.v 2 additions, 1 deletiontests/qa0/nonzeros.v
- vendor/coq-serapi 0 additions, 1 deletionvendor/coq-serapi
- vendor/coq-serapi/.github/workflows/ci.yml 115 additions, 0 deletionsvendor/coq-serapi/.github/workflows/ci.yml
- vendor/coq-serapi/.gitignore 6 additions, 0 deletionsvendor/coq-serapi/.gitignore
- vendor/coq-serapi/.ocamlformat 1 addition, 0 deletionsvendor/coq-serapi/.ocamlformat
- vendor/coq-serapi/AUTHORS 5 additions, 0 deletionsvendor/coq-serapi/AUTHORS
- vendor/coq-serapi/CHANGES.md 375 additions, 0 deletionsvendor/coq-serapi/CHANGES.md
- vendor/coq-serapi/CODE_OF_CONDUCT.md 82 additions, 0 deletionsvendor/coq-serapi/CODE_OF_CONDUCT.md
- vendor/coq-serapi/CONTRIBUTING.md 51 additions, 0 deletionsvendor/coq-serapi/CONTRIBUTING.md
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
frontend/node/src/my_fflate.ts
deleted
100644 → 0
This diff is collapsed.
This diff is collapsed.
jscoq.js
0 → 100644
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
package.json.wacoq
deleted
100644 → 0
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
vendor/coq-serapi/.github/workflows/ci.yml
0 → 100644
This diff is collapsed.
vendor/coq-serapi/.gitignore
0 → 100644
This diff is collapsed.
vendor/coq-serapi/.ocamlformat
0 → 100644
This diff is collapsed.
vendor/coq-serapi/AUTHORS
0 → 100644
This diff is collapsed.
vendor/coq-serapi/CHANGES.md
0 → 100644
This diff is collapsed.
vendor/coq-serapi/CODE_OF_CONDUCT.md
0 → 100644
This diff is collapsed.
vendor/coq-serapi/CONTRIBUTING.md
0 → 100644
This diff is collapsed.