Forked from
David Hamelin / jscoq-light
367 commits behind the upstream repository.
-
Shachar Itzhaky authoredSo that we can create both jsCoq and waCoq packages.
Shachar Itzhaky authoredSo that we can create both jsCoq and waCoq packages.
.gitignore 302 B
# General ignores
*~
.*.swp
.cache
/dist
# Local build configuration file
/config.inc
# Externals
/_vendor*
# Dune stuff
_build
.merlin
*.install
# Node stuff
node_modules
# - npm packages
/*.tgz
# Links for in-place serving
coq-pkgs
/coq-js/jscoq_worker.js
# Apple stuff
.DS_Store
.AppleDouble