Showing
- frontend/classic/external/CodeMirror-TeX-input/LICENSE 22 additions, 0 deletionsfrontend/classic/external/CodeMirror-TeX-input/LICENSE
- frontend/classic/external/CodeMirror-TeX-input/README.md 25 additions, 0 deletionsfrontend/classic/external/CodeMirror-TeX-input/README.md
- frontend/classic/external/CodeMirror-TeX-input/addon/hint/tex-input-hint.js 171 additions, 0 deletions...xternal/CodeMirror-TeX-input/addon/hint/tex-input-hint.js
- 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/gist.js 58 additions, 0 deletionsfrontend/classic/js/addon/collab/gist.js
- frontend/classic/js/addon/collab/index.ts 1 addition, 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 36 additions, 154 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 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
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/addon/collab/gist.js
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.
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.