Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Ana de Almeida Borges
templates
Branches
Overview
Active
Stale
All
master
default
protected
bf751455
·
Revert "Update badge link"
·
Nov 13, 2021
circleci_after_script
9e1bce26
·
feat: Add circleci_after_script
·
Feb 08, 2021
install_flag
01fb92dc
·
Add install_flag
·
Feb 05, 2021
test_target
472d5f21
·
Add test_target and quote make_target
·
Feb 05, 2021
index-documentation
3867b195
·
Add documentation to index.md
·
Dec 21, 2020
generate-dune-coqdoc-optional
dbdee9b8
·
Fix generate.sh to look for values of coqdoc and dune.
·
Dec 11, 2020
new-name
9a729180
·
change name to: Coq Project Templates
·
Dec 08, 2020
nix-action
4a68c974
·
Add template for GitHub Action based on Nix.
·
Dec 07, 2020
README
475f3a1f
·
add structure / trim manual generation
·
Dec 07, 2020
aerabi/fix-index-md-header-link
1c6598aa
·
Fix header link in index.md
·
Oct 23, 2020
coqdoc-index
dae091f9
·
turn coqdoc_index into relative URL
·
Sep 10, 2020
fix-newline
7f3093c6
·
Fix: no extra line when after_author is not used.
·
Aug 12, 2020
optional-namespace
d9e1de04
·
make namespace optional for README.md.mustache
·
Jul 21, 2020
contributors-list
4c3d04b5
·
add list of (non-author) contributors
·
Jul 06, 2020
dependency-description-or-opam-name
1c571210
·
Rename description field of dependencies and add a default value.
·
May 05, 2020