Showing
- frontend/classic/js/coq-highlighter.ts 20 additions, 0 deletionsfrontend/classic/js/coq-highlighter.ts
- frontend/classic/js/coq-layout-classic.ts 6 additions, 2 deletionsfrontend/classic/js/coq-layout-classic.ts
- frontend/classic/js/coq-manager.js 14 additions, 28 deletionsfrontend/classic/js/coq-manager.js
- frontend/classic/js/coq-packages.ts 1 addition, 0 deletionsfrontend/classic/js/coq-packages.ts
- frontend/classic/js/index.js 5 additions, 1 deletionfrontend/classic/js/index.js
- frontend/cli/build/project.ts 8 additions, 2 deletionsfrontend/cli/build/project.ts
- frontend/cli/build/sdk/setup.ts 2 additions, 1 deletionfrontend/cli/build/sdk/setup.ts
- frontend/cli/build/workspace.ts 1 addition, 1 deletionfrontend/cli/build/workspace.ts
- frontend/cli/cli.ts 3 additions, 4 deletionsfrontend/cli/cli.ts
- frontend/format-pprint/js/index.js 1 addition, 1 deletionfrontend/format-pprint/js/index.js
- frontend/node/src/headless.ts 41 additions, 15 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
frontend/classic/js/coq-highlighter.ts
0 → 100644
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
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.
package.json.wacoq
deleted
100644 → 0
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.