Showing
- frontend/classic/js/addon/collab/collab.css 0 additions, 19 deletionsfrontend/classic/js/addon/collab/collab.css
- frontend/classic/js/addon/collab/index.ts 0 additions, 1 deletionfrontend/classic/js/addon/collab/index.ts
- frontend/classic/js/addon/collab/p2p-chunk.js 0 additions, 2 deletionsfrontend/classic/js/addon/collab/p2p-chunk.js
- frontend/classic/js/addon/collab/p2p.ts 0 additions, 210 deletionsfrontend/classic/js/addon/collab/p2p.ts
- frontend/classic/js/cm-provider-container.ts 77 additions, 3 deletionsfrontend/classic/js/cm-provider-container.ts
- frontend/classic/js/cm-provider.ts 22 additions, 155 deletionsfrontend/classic/js/cm-provider.ts
- 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 10 additions, 31 deletionsfrontend/classic/js/coq-manager.js
- frontend/classic/js/index.js 4 additions, 0 deletionsfrontend/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/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 7 additions, 9 deletionsindex.html
- jscoq.opam 4 additions, 3 deletionsjscoq.opam
- package-lock.json 269 additions, 48 deletionspackage-lock.json
- package.json 5 additions, 4 deletionspackage.json
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
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.
frontend/node/src/my_fflate.ts
deleted
100644 → 0
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.