Showing
- examples/sqrt_2.template.html 1 addition, 4 deletionsexamples/sqrt_2.template.html
- flake.lock 60 additions, 0 deletionsflake.lock
- flake.nix 24 additions, 0 deletionsflake.nix
- frontend/classic/css/coq-base.css 32 additions, 9 deletionsfrontend/classic/css/coq-base.css
- frontend/classic/css/coq-light.css 4 additions, 0 deletionsfrontend/classic/css/coq-light.css
- frontend/classic/external/CodeMirror-TeX-input 0 additions, 1 deletionfrontend/classic/external/CodeMirror-TeX-input
- frontend/classic/external/CodeMirror-TeX-input/.gitignore 1 addition, 0 deletionsfrontend/classic/external/CodeMirror-TeX-input/.gitignore
- 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
flake.lock
0 → 100644
flake.nix
0 → 100755
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.