aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* Separate vernac controls and regular commands.Gravatar Maxime Dénès2017-12-20
* Merge PR #6400: Circle CIGravatar Maxime Dénès2017-12-19
|\
* \ Merge PR #6305: Build with windows line endingsGravatar Maxime Dénès2017-12-18
|\ \
* \ \ Merge PR #6217: Do dependencies in 1 command per file class.Gravatar Maxime Dénès2017-12-18
|\ \ \
* \ \ \ Merge PR #6419: [vernac] Split `command.ml` into separate files.Gravatar Maxime Dénès2017-12-18
|\ \ \ \
* \ \ \ \ Merge PR #6413: [econstr] Switch constrintern API to non-imperative style.Gravatar Maxime Dénès2017-12-18
|\ \ \ \ \
| | * | | | [vernac] Split `command.ml` into separate files.Gravatar Emilio Jesus Gallego Arias2017-12-17
| |/ / / /
| | | * | Fix build fileGravatar Jim2017-12-16
| | * | | Overlay for unimath.Gravatar Gaëtan Gilbert2017-12-15
* | | | | Merge PR #6392: [econstr] Cleanup in `vernac/classes.ml`Gravatar Maxime Dénès2017-12-15
|\ \ \ \ \
| | * | | | [econstr] Switch constrintern API to non-imperative style.Gravatar Emilio Jesus Gallego Arias2017-12-15
| |/ / / /
* | | | | Merge PR #6169: Clean up/deprecated optionsGravatar Maxime Dénès2017-12-14
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Gravatar Maxime Dénès2017-12-14
|\ \ \ \ \ \
| | | | | | * Put bignums, math-classes and corn dependencies in MakefileGravatar Gaëtan Gilbert2017-12-13
| | | * | | | [econstr] Cleanup in `vernac/classes.ml`.Gravatar Emilio Jesus Gallego Arias2017-12-13
| | | | |/ / | | | |/| |
* | | / | | Revert "[ci] Temporal workaround for checker non-backwards compatible change."Gravatar Théo Zimmermann2017-12-12
| |_|/ / / |/| | | |
* | | | | Merge PR #6331: Linter: skip PRs older than the linter.Gravatar Maxime Dénès2017-12-11
|\ \ \ \ \ | |_|_|_|/ |/| | | |
| | | * | Add overlay.Gravatar Théo Zimmermann2017-12-11
| |_|/ / |/| | |
* | | | Merge PR #6368: [api] Remove yet another type alias.Gravatar Maxime Dénès2017-12-11
|\ \ \ \
* \ \ \ \ Merge PR #6324: Fix #6323: stronger restrict universe context vs abstract.Gravatar Maxime Dénès2017-12-11
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6358: [ci] Download ci-sf archives into the proper CI build dir.Gravatar Maxime Dénès2017-12-11
|\ \ \ \ \ \
* \ \ \ \ \ \ Merge PR #6351: Fix a copy-paste error in ci-ltac2.Gravatar Maxime Dénès2017-12-11
|\ \ \ \ \ \ \
* \ \ \ \ \ \ \ Merge PR #6346: [ci] CoLoR has moved to githubGravatar Maxime Dénès2017-12-11
|\ \ \ \ \ \ \ \
| | | | | | | * | [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
* | | | | | | | | [ci] Temporal workaround for checker non-backwards compatible change.Gravatar Emilio Jesus Gallego Arias2017-12-10
| | | | | * | | | [api] Remove yet another type alias.Gravatar Emilio Jesus Gallego Arias2017-12-09
| |_|_|_|/ / / / |/| | | | | | |
| | | | | | * | [lib] Rename Profile to CProfileGravatar Emilio Jesus Gallego Arias2017-12-09
| |_|_|_|_|/ / |/| | | | | |
| | | * | | | [ci] Download ci-sf archives into the proper CI build dir.Gravatar Emilio Jesus Gallego Arias2017-12-09
| |_|/ / / / |/| | | | |
| | * | | | Fix a copy-paste error in ci-ltac2.Gravatar Théo Zimmermann2017-12-08
* | | | | | Merge PR #6158: Allows a level in the raw and glob printersGravatar Maxime Dénès2017-12-08
|\ \ \ \ \ \
| | * | | | | [ci] CoLoR has moved to githubGravatar Emilio Jesus Gallego Arias2017-12-07
* | | | | | | Merge PR #6267: Fix PR merge script.Gravatar Maxime Dénès2017-12-07
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | |
| | | | * | | Overlay for Equations.Gravatar Gaëtan Gilbert2017-12-06
| |_|_|/ / / |/| | | | |
| | | | * | Linter: skip PRs older than the linter.Gravatar Gaëtan Gilbert2017-12-06
| |_|_|/ / |/| | | |
* | | | | uninstall doc dir, not dev (which is not installed), #6007Gravatar Paul Steckler2017-12-01
* | | | | Merge PR #736: [ci] Test coqchk on the CompCert target.Gravatar Maxime Dénès2017-12-01
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6244: [lib] [api] Introduce record for `object_prefix`Gravatar Maxime Dénès2017-11-30
|\ \ \ \ \ \
| | * | | | | [ci] Test coqchk on the CompCert target.Gravatar Théo Zimmermann2017-11-30
| |/ / / / / |/| | | | |
* | | | | | Merge PR #6269: [ci] [vst] Shorten compilation time to avoid Travis timeouts.Gravatar Maxime Dénès2017-11-30
|\ \ \ \ \ \
| | | * | | | Fix usage comment.Gravatar Théo Zimmermann2017-11-29
| | | * | | | This script apparently uses bash-specific features.Gravatar Théo Zimmermann2017-11-29
| | | * | | | Fix PR merge script.Gravatar Théo Zimmermann2017-11-29
| |_|/ / / / |/| | | | |
| | * | | | [lib] [api] Introduce record for `object_prefix`Gravatar Emilio Jesus Gallego Arias2017-11-29
| | | |/ / | | |/| |
* | | | | Add PR backport script.Gravatar Théo Zimmermann2017-11-28
| |_|_|/ |/| | |
| * | | [ci] [vst] Shorten compilation time to avoid Travis timeouts.Gravatar Emilio Jesus Gallego Arias2017-11-28
|/ / /
* | | Merge PR #6259: Add PR merge script.Gravatar Maxime Dénès2017-11-28
|\ \ \
| * | | Add PR merge script.Gravatar Maxime Dénès2017-11-28
| |/ /
* | | Merge PR #1033: Universe binder improvementsGravatar Maxime Dénès2017-11-28
|\ \ \
* \ \ \ Merge PR #6248: [api] Remove aliases of `Evar.t`Gravatar Maxime Dénès2017-11-28
|\ \ \ \ | |_|/ / |/| | |
| | | * Adding overlay for ltac2.Gravatar Hugo Herbelin2017-11-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-03 13:05:12 +0000