Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | | | | Safer VM interfaces | 2018-01-26 | ||
| | |/ / / | |/| | | | ||||
* / | | | | Use travis_retry on apt-get update | 2018-01-23 | ||
|/ / / / | ||||
* | | | | Merge PR #6629: Archive COMPATIBILITY | 2018-01-23 | ||
|\ \ \ \ | ||||
* \ \ \ \ | Merge PR #6568: Cleanup scripts | 2018-01-23 | ||
|\ \ \ \ \ | ||||
| | * | | | | Archive COMPATIBILITY. | 2018-01-22 | ||
* | | | | | | Merge PR #6550: Remove outdated note about rlwrap in setup.txt | 2018-01-22 | ||
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | ||||
* | | | | | | Merge PR #6448: Cleanup and add debug printers a bit | 2018-01-18 | ||
|\ \ \ \ \ \ | ||||
| | | * | | | | merge-pr.sh: use git diff --quiet | 2018-01-16 | ||
| | | * | | | | Source basic overlay before user overlays. | 2018-01-16 | ||
| | | * | | | | Cleanup shell expansions and quoting. | 2018-01-16 | ||
| | | * | | | | Simplify logic and streamline lint-repository.sh | 2018-01-16 | ||
* | | | | | | | Fix the wrapper around ocamldebug. | 2018-01-15 | ||
* | | | | | | | Merge PR #6483: Strong invariants in polymorphic definitions | 2018-01-12 | ||
|\ \ \ \ \ \ \ | ||||
| * | | | | | | | Adding a custom Travis overlay for HoTT. | 2018-01-11 | ||
* | | | | | | | | Merge PR #6557: First stab at documenting the test suite. | 2018-01-11 | ||
|\ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ | Merge PR #6519: Python script checking missing/unnecessary [needs: rebase] label | 2018-01-10 | ||
|\ \ \ \ \ \ \ \ \ | |_|/ / / / / / / |/| | | | | | | | | ||||
| | | | | | | * | | [Backport script] Check .mli files are not changed. | 2018-01-09 | ||
| |_|_|_|_|_|/ / |/| | | | | | | | ||||
| | | | | * | | | Cleanup conditional in lint-repository.sh | 2018-01-08 | ||
| | | | | |/ / | ||||
| | | | * / / | Stop talking about debian in "A note about rlwrap" | 2018-01-08 | ||
| | | | |/ / | ||||
* | | | | | | Merge PR #6549: Normalize package names | 2018-01-08 | ||
|\ \ \ \ \ \ | ||||
* \ \ \ \ \ \ | Merge PR #6527: Update backport script for more control. | 2018-01-08 | ||
|\ \ \ \ \ \ \ | ||||
| | | * | | | | | github-check-prs.py: print PR URLs when needed. | 2018-01-08 | ||
| | | * | | | | | github-check-prs.py: Strip spaces from token from command line | 2018-01-08 | ||
| | | * | | | | | github-check-prs.py: command line option to get token from a file | 2018-01-08 | ||
* | | | | | | | | Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi... | 2018-01-08 | ||
|\ \ \ \ \ \ \ \ | |_|_|_|_|_|/ / |/| | | | | | | | ||||
| | | | | * | | | First stab at documenting the test suite. | 2018-01-06 | ||
| |_|_|_|/ / / |/| | | | | | | ||||
| | | | | | * | Remove dir-locals and ship suggested helper hooks instead. | 2018-01-06 | ||
| |_|_|_|_|/ |/| | | | | | ||||
| | | * | | | Normalize MacOS installer name. | 2018-01-04 | ||
| | | * | | | Normalize Windows installer names. | 2018-01-04 | ||
| |_|/ / / |/| | | | | ||||
| | | * | | Expound on dependencies for github-check-prs.py | 2017-12-30 | ||
| | | * | | Python script checking missing/unnecessary [needs: rebase] label | 2017-12-30 | ||
| * | | | | Add instructions for debugging from the command line (and in Windows) | 2017-12-29 | ||
* | | | | | Merge PR #6493: [API] remove large file containing duplicate interfaces | 2017-12-29 | ||
|\ \ \ \ \ | ||||
* \ \ \ \ \ | Merge PR #6405: Remove the local polymorphic flag hack. | 2017-12-29 | ||
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | | ||||
| | * | | | | overlay for #6493 | 2017-12-27 | ||
| | * | | | | [API] remove large file containing duplicate interfaces | 2017-12-27 | ||
| |/ / / / |/| | | | | ||||
* | | | | | Merge PR #6102: Fix #5998: AppVeyor package building is currently failing | 2017-12-27 | ||
|\ \ \ \ \ | ||||
| | * | | | | Add equations overlay. | 2017-12-27 | ||
| |/ / / / |/| | | | | ||||
| * | | | | Fix #5998: AppVeyor package building is currently failing | 2017-12-27 | ||
* | | | | | Merge PR #6507: [ide] [doc] Document tweak to Query call. | 2017-12-27 | ||
|\ \ \ \ \ | ||||
| * | | | | | [ide] [doc] Document tweak to Query call. | 2017-12-26 | ||
| | |/ / / | |/| | | | ||||
* | | | | | Fix overlay selection for Circle CI. | 2017-12-26 | ||
* | | | | | Delete old overlays (leaving example) | 2017-12-26 | ||
|/ / / / | ||||
| | * / | Update backport script for more control. | 2017-12-24 | ||
| |/ / |/| | | ||||
| | * | Add printers to dev/db | 2017-12-22 | ||
| | * | Reorder dev/db | 2017-12-22 | ||
| | * | Cleanup top_printers.mli | 2017-12-22 | ||
| | * | Cleanup debug printers a bit, add generated mli. | 2017-12-22 | ||
* | | | Merge PR #6318: Separate vernac controls and regular commands. | 2017-12-22 | ||
|\ \ \ | ||||
* | | | | Fix CI with parallel make (messed up dependencies) | 2017-12-21 |