Showing
- coqdoclight.py 630 additions, 0 deletionscoqdoclight.py
- coqdoclight_sample.v 75 additions, 0 deletionscoqdoclight_sample.v
- docs/build.md 11 additions, 2 deletionsdocs/build.md
- etc/docker/Makefile 9 additions, 5 deletionsetc/docker/Makefile
- etc/wacoq-deps/package.json 17 additions, 0 deletionsetc/wacoq-deps/package.json
- examples/Makefile 1 addition, 1 deletionexamples/Makefile
- examples/scratchpad.html 4 additions, 4 deletionsexamples/scratchpad.html
- 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
coqdoclight.py
0 → 100644
coqdoclight_sample.v
0 → 100644
This diff is collapsed.
This diff is collapsed.
etc/wacoq-deps/package.json
0 → 100644
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
flake.lock
0 → 100644
This diff is collapsed.
flake.nix
0 → 100755
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.