├── .gitignore ├── LICENSE ├── Makefile.doc ├── README.md ├── example ├── .gitignore ├── Makefile ├── Makefile.coq.local ├── README.md ├── _CoqProject ├── a.v └── coqdocjs │ ├── Makefile.doc │ └── extra └── extra ├── footer.html ├── header.html └── resources ├── config.js ├── coqdoc.css ├── coqdocjs.css └── coqdocjs.js /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/Makefile.doc -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/README.md -------------------------------------------------------------------------------- /example/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/example/.gitignore -------------------------------------------------------------------------------- /example/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/example/Makefile -------------------------------------------------------------------------------- /example/Makefile.coq.local: -------------------------------------------------------------------------------- 1 | coqdocjs/Makefile.doc -------------------------------------------------------------------------------- /example/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/example/README.md -------------------------------------------------------------------------------- /example/_CoqProject: -------------------------------------------------------------------------------- 1 | -Q ./ MyProjectName 2 | a.v 3 | -------------------------------------------------------------------------------- /example/a.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/example/a.v -------------------------------------------------------------------------------- /example/coqdocjs/Makefile.doc: -------------------------------------------------------------------------------- 1 | ../../Makefile.doc -------------------------------------------------------------------------------- /example/coqdocjs/extra: -------------------------------------------------------------------------------- 1 | ../../extra -------------------------------------------------------------------------------- /extra/footer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/extra/footer.html -------------------------------------------------------------------------------- /extra/header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/extra/header.html -------------------------------------------------------------------------------- /extra/resources/config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/extra/resources/config.js -------------------------------------------------------------------------------- /extra/resources/coqdoc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/extra/resources/coqdoc.css -------------------------------------------------------------------------------- /extra/resources/coqdocjs.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/extra/resources/coqdocjs.css -------------------------------------------------------------------------------- /extra/resources/coqdocjs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/coqdocjs/HEAD/extra/resources/coqdocjs.js --------------------------------------------------------------------------------