Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #6400: Circle CI | 2017-12-19 | |
|\ | |||
* \ | Merge PR #6305: Build with windows line endings | 2017-12-18 | |
|\ \ | |||
* \ \ | Merge PR #6217: Do dependencies in 1 command per file class. | 2017-12-18 | |
|\ \ \ | |||
* \ \ \ | Merge PR #6419: [vernac] Split `command.ml` into separate files. | 2017-12-18 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #6413: [econstr] Switch constrintern API to non-imperative style. | 2017-12-18 | |
|\ \ \ \ \ | |||
| | * | | | | [vernac] Split `command.ml` into separate files. | 2017-12-17 | |
| |/ / / / | |||
| | | * | | Fix build file | 2017-12-16 | |
| | * | | | Overlay for unimath. | 2017-12-15 | |
* | | | | | Merge PR #6392: [econstr] Cleanup in `vernac/classes.ml` | 2017-12-15 | |
|\ \ \ \ \ | |||
| | * | | | | [econstr] Switch constrintern API to non-imperative style. | 2017-12-15 | |
| |/ / / / | |||
* | | | | | Merge PR #6169: Clean up/deprecated options | 2017-12-14 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind. | 2017-12-14 | |
|\ \ \ \ \ \ | |||
| | | | | | * | Put bignums, math-classes and corn dependencies in Makefile | 2017-12-13 | |
| | | * | | | | [econstr] Cleanup in `vernac/classes.ml`. | 2017-12-13 | |
| | | | |/ / | | | |/| | | |||
* | | / | | | Revert "[ci] Temporal workaround for checker non-backwards compatible change." | 2017-12-12 | |
| |_|/ / / |/| | | | | |||
* | | | | | Merge PR #6331: Linter: skip PRs older than the linter. | 2017-12-11 | |
|\ \ \ \ \ | |_|_|_|/ |/| | | | | |||
| | | * | | Add overlay. | 2017-12-11 | |
| |_|/ / |/| | | | |||
* | | | | Merge PR #6368: [api] Remove yet another type alias. | 2017-12-11 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #6324: Fix #6323: stronger restrict universe context vs abstract. | 2017-12-11 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #6358: [ci] Download ci-sf archives into the proper CI build dir. | 2017-12-11 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #6351: Fix a copy-paste error in ci-ltac2. | 2017-12-11 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR #6346: [ci] CoLoR has moved to github | 2017-12-11 | |
|\ \ \ \ \ \ \ \ | |||
| | | | | | | * | | [build] Remove coqmktop in favor of ocamlfind. | 2017-12-10 | |
* | | | | | | | | | [ci] Temporal workaround for checker non-backwards compatible change. | 2017-12-10 | |
| | | | | * | | | | [api] Remove yet another type alias. | 2017-12-09 | |
| |_|_|_|/ / / / |/| | | | | | | | |||
| | | | | | * | | [lib] Rename Profile to CProfile | 2017-12-09 | |
| |_|_|_|_|/ / |/| | | | | | | |||
| | | * | | | | [ci] Download ci-sf archives into the proper CI build dir. | 2017-12-09 | |
| |_|/ / / / |/| | | | | | |||
| | * | | | | Fix a copy-paste error in ci-ltac2. | 2017-12-08 | |
* | | | | | | Merge PR #6158: Allows a level in the raw and glob printers | 2017-12-08 | |
|\ \ \ \ \ \ | |||
| | * | | | | | [ci] CoLoR has moved to github | 2017-12-07 | |
* | | | | | | | Merge PR #6267: Fix PR merge script. | 2017-12-07 | |
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | | |||
| | | | * | | | Overlay for Equations. | 2017-12-06 | |
| |_|_|/ / / |/| | | | | | |||
| | | | * | | Linter: skip PRs older than the linter. | 2017-12-06 | |
| |_|_|/ / |/| | | | | |||
* | | | | | uninstall doc dir, not dev (which is not installed), #6007 | 2017-12-01 | |
* | | | | | Merge PR #736: [ci] Test coqchk on the CompCert target. | 2017-12-01 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #6244: [lib] [api] Introduce record for `object_prefix` | 2017-11-30 | |
|\ \ \ \ \ \ | |||
| | * | | | | | [ci] Test coqchk on the CompCert target. | 2017-11-30 | |
| |/ / / / / |/| | | | | | |||
* | | | | | | Merge PR #6269: [ci] [vst] Shorten compilation time to avoid Travis timeouts. | 2017-11-30 | |
|\ \ \ \ \ \ | |||
| | | * | | | | Fix usage comment. | 2017-11-29 | |
| | | * | | | | This script apparently uses bash-specific features. | 2017-11-29 | |
| | | * | | | | Fix PR merge script. | 2017-11-29 | |
| |_|/ / / / |/| | | | | | |||
| | * | | | | [lib] [api] Introduce record for `object_prefix` | 2017-11-29 | |
| | | |/ / | | |/| | | |||
* | | | | | Add PR backport script. | 2017-11-28 | |
| |_|_|/ |/| | | | |||
| * | | | [ci] [vst] Shorten compilation time to avoid Travis timeouts. | 2017-11-28 | |
|/ / / | |||
* | | | Merge PR #6259: Add PR merge script. | 2017-11-28 | |
|\ \ \ | |||
| * | | | Add PR merge script. | 2017-11-28 | |
| |/ / | |||
* | | | Merge PR #1033: Universe binder improvements | 2017-11-28 | |
|\ \ \ | |||
* \ \ \ | Merge PR #6248: [api] Remove aliases of `Evar.t` | 2017-11-28 | |
|\ \ \ \ | |_|/ / |/| | | | |||
| | | * | Adding overlay for ltac2. | 2017-11-27 | |
* | | | | Merge PR #6227: Linter: do not lint untracked files. | 2017-11-27 | |
|\ \ \ \ | |_|_|/ |/| | | |