Showing
- coqdoclight.py 630 additions, 0 deletionscoqdoclight.py
- coqdoclight_sample.v 75 additions, 0 deletionscoqdoclight_sample.v
- docs/build.md 12 additions, 3 deletionsdocs/build.md
- dune 1 addition, 0 deletionsdune
- etc/docker/Dockerfile 2 additions, 2 deletionsetc/docker/Dockerfile
- etc/docker/Makefile 15 additions, 11 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 6 additions, 5 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
coqdoclight.py
0 → 100644
coqdoclight_sample.v
0 → 100644
This diff is collapsed.
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.
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.