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/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 24 additions, 152 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
- 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
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.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.