Showing
- frontend/classic/external/CodeMirror-TeX-input/demo/tex-input.html 71 additions, 0 deletions...classic/external/CodeMirror-TeX-input/demo/tex-input.html
- frontend/classic/external/CodeMirror-TeX-input/doc/manual.html 3386 additions, 0 deletions...end/classic/external/CodeMirror-TeX-input/doc/manual.html
- frontend/classic/external/CodeMirror-TeX-input/package.json 20 additions, 0 deletionsfrontend/classic/external/CodeMirror-TeX-input/package.json
- 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 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/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 8 additions, 10 deletionsindex.html
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/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.