aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* Merge PR #6493: [API] remove large file containing duplicate interfacesGravatar Maxime Dénès2017-12-29
|\
* \ Merge PR #6405: Remove the local polymorphic flag hack.Gravatar Maxime Dénès2017-12-29
|\ \
| | * overlay for #6493Gravatar Enrico Tassi2017-12-27
| | * [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
| |/ |/|
* | Merge PR #6102: Fix #5998: AppVeyor package building is currently failingGravatar Maxime Dénès2017-12-27
|\ \
| | * Add equations overlay.Gravatar Maxime Dénès2017-12-27
| |/ |/|
| * Fix #5998: AppVeyor package building is currently failingGravatar Maxime Dénès2017-12-27
* | Merge PR #6507: [ide] [doc] Document tweak to Query call.Gravatar Maxime Dénès2017-12-27
|\ \
| * | [ide] [doc] Document tweak to Query call.Gravatar Emilio Jesus Gallego Arias2017-12-26
* | | Fix overlay selection for Circle CI.Gravatar Gaëtan Gilbert2017-12-26
* | | Delete old overlays (leaving example)Gravatar Gaëtan Gilbert2017-12-26
|/ /
* | Merge PR #6318: Separate vernac controls and regular commands.Gravatar Maxime Dénès2017-12-22
|\ \
* | | Fix CI with parallel make (messed up dependencies)Gravatar Gaëtan Gilbert2017-12-21
| * | 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
|\ \ \ \ \ \