Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | | | | | Merge PR #6549: Normalize package names | Maxime Dénès | 2018-01-08 | |
|\ \ \ \ \ \ | ||||
* \ \ \ \ \ \ | Merge PR #6527: Update backport script for more control. | Maxime Dénès | 2018-01-08 | |
|\ \ \ \ \ \ \ | ||||
| | | * | | | | | github-check-prs.py: print PR URLs when needed. | Gaëtan Gilbert | 2018-01-08 | |
| | | * | | | | | github-check-prs.py: Strip spaces from token from command line | Gaëtan Gilbert | 2018-01-08 | |
| | | * | | | | | github-check-prs.py: command line option to get token from a file | Gaëtan Gilbert | 2018-01-08 | |
* | | | | | | | | Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi... | Maxime Dénès | 2018-01-08 | |
|\ \ \ \ \ \ \ \ | |_|_|_|_|_|/ / |/| | | | | | | | ||||
| | | | | * | | | First stab at documenting the test suite. | Jasper Hugunin | 2018-01-06 | |
| |_|_|_|/ / / |/| | | | | | | ||||
| | | | | | * | Remove dir-locals and ship suggested helper hooks instead. | Gaëtan Gilbert | 2018-01-06 | |
| |_|_|_|_|/ |/| | | | | | ||||
| | | * | | | Normalize MacOS installer name. | Théo Zimmermann | 2018-01-04 | |
| | | * | | | Normalize Windows installer names. | Théo Zimmermann | 2018-01-04 | |
| |_|/ / / |/| | | | | ||||
| | | * | | Expound on dependencies for github-check-prs.py | Gaëtan Gilbert | 2017-12-30 | |
| | | * | | Python script checking missing/unnecessary [needs: rebase] label | Gaëtan Gilbert | 2017-12-30 | |
| * | | | | Add instructions for debugging from the command line (and in Windows) | Jim Fehrle | 2017-12-29 | |
* | | | | | Merge PR #6493: [API] remove large file containing duplicate interfaces | Maxime Dénès | 2017-12-29 | |
|\ \ \ \ \ | ||||
* \ \ \ \ \ | Merge PR #6405: Remove the local polymorphic flag hack. | Maxime Dénès | 2017-12-29 | |
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | | ||||
| | * | | | | overlay for #6493 | Enrico Tassi | 2017-12-27 | |
| | * | | | | [API] remove large file containing duplicate interfaces | Enrico Tassi | 2017-12-27 | |
| |/ / / / |/| | | | | ||||
* | | | | | Merge PR #6102: Fix #5998: AppVeyor package building is currently failing | Maxime Dénès | 2017-12-27 | |
|\ \ \ \ \ | ||||
| | * | | | | Add equations overlay. | Maxime Dénès | 2017-12-27 | |
| |/ / / / |/| | | | | ||||
| * | | | | Fix #5998: AppVeyor package building is currently failing | Maxime Dénès | 2017-12-27 | |
* | | | | | Merge PR #6507: [ide] [doc] Document tweak to Query call. | Maxime Dénès | 2017-12-27 | |
|\ \ \ \ \ | ||||
| * | | | | | [ide] [doc] Document tweak to Query call. | Emilio Jesus Gallego Arias | 2017-12-26 | |
| | |/ / / | |/| | | | ||||
* | | | | | Fix overlay selection for Circle CI. | Gaëtan Gilbert | 2017-12-26 | |
* | | | | | Delete old overlays (leaving example) | Gaëtan Gilbert | 2017-12-26 | |
|/ / / / | ||||
| | * / | Update backport script for more control. | Théo Zimmermann | 2017-12-24 | |
| |/ / |/| | | ||||
| | * | Add printers to dev/db | Gaëtan Gilbert | 2017-12-22 | |
| | * | Reorder dev/db | Gaëtan Gilbert | 2017-12-22 | |
| | * | Cleanup top_printers.mli | Gaëtan Gilbert | 2017-12-22 | |
| | * | Cleanup debug printers a bit, add generated mli. | Gaëtan Gilbert | 2017-12-22 | |
* | | | Merge PR #6318: Separate vernac controls and regular commands. | Maxime Dénès | 2017-12-22 | |
|\ \ \ | ||||
* | | | | Fix CI with parallel make (messed up dependencies) | Gaëtan Gilbert | 2017-12-21 | |
| * | | | Separate vernac controls and regular commands. | Maxime Dénès | 2017-12-20 | |
|/ / / | ||||
* | | | Merge PR #6400: Circle CI | Maxime Dénès | 2017-12-19 | |
|\ \ \ | ||||
* \ \ \ | Merge PR #6305: Build with windows line endings | Maxime Dénès | 2017-12-18 | |
|\ \ \ \ | ||||
* \ \ \ \ | Merge PR #6217: Do dependencies in 1 command per file class. | Maxime Dénès | 2017-12-18 | |
|\ \ \ \ \ | ||||
* \ \ \ \ \ | Merge PR #6419: [vernac] Split `command.ml` into separate files. | Maxime Dénès | 2017-12-18 | |
|\ \ \ \ \ \ | ||||
* \ \ \ \ \ \ | Merge PR #6413: [econstr] Switch constrintern API to non-imperative style. | Maxime Dénès | 2017-12-18 | |
|\ \ \ \ \ \ \ | |_|_|_|_|_|/ |/| | | | | | | ||||
| | * | | | | | [vernac] Split `command.ml` into separate files. | Emilio Jesus Gallego Arias | 2017-12-17 | |
| |/ / / / / | ||||
| | | * | | | Fix build file | Jim | 2017-12-16 | |
| | * | | | | Overlay for unimath. | Gaëtan Gilbert | 2017-12-15 | |
* | | | | | | Merge PR #6392: [econstr] Cleanup in `vernac/classes.ml` | Maxime Dénès | 2017-12-15 | |
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | | | ||||
| | * | | | | [econstr] Switch constrintern API to non-imperative style. | Emilio Jesus Gallego Arias | 2017-12-15 | |
| |/ / / / | ||||
* | | | | | Merge PR #6169: Clean up/deprecated options | Maxime Dénès | 2017-12-14 | |
|\ \ \ \ \ | ||||
* \ \ \ \ \ | Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind. | Maxime Dénès | 2017-12-14 | |
|\ \ \ \ \ \ | ||||
| | | | | | * | Put bignums, math-classes and corn dependencies in Makefile | Gaëtan Gilbert | 2017-12-13 | |
| | | * | | | | [econstr] Cleanup in `vernac/classes.ml`. | Emilio Jesus Gallego Arias | 2017-12-13 | |
| | | | |/ / | | | |/| | | ||||
* | | / | | | Revert "[ci] Temporal workaround for checker non-backwards compatible change." | Théo Zimmermann | 2017-12-12 | |
| |_|/ / / |/| | | | | ||||
* | | | | | Merge PR #6331: Linter: skip PRs older than the linter. | Maxime Dénès | 2017-12-11 | |
|\ \ \ \ \ | |_|_|_|/ |/| | | | | ||||
| | | * | | Add overlay. | Théo Zimmermann | 2017-12-11 | |
| |_|/ / |/| | | | ||||
* | | | | Merge PR #6368: [api] Remove yet another type alias. | Maxime Dénès | 2017-12-11 | |
|\ \ \ \ |