| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-03-21 | Remove obsolete files from dev/doc | Enrico Tassi | |
| - cic.dtd is related to the XML plugin - about-hints uses v7 syntax - minicoq.tex talks about a tool that is not there - translate.txt talks about the v7->v8 translation machinery - transition-* talk about v5->v7 changes to the sources layout | |||
| 2018-03-21 | Merge PR #7023: [ssreflect] Respect Opaque in FO unification | Enrico Tassi | |
| 2018-03-20 | [ssreflect] Respect Opaque in FO unification | Maxime Dénès | |
| 2018-03-20 | Merge PR #7022: Update CODEOWNERS | Maxime Dénès | |
| 2018-03-20 | Update CODEOWNERS | Enrico | |
| 2018-03-20 | Merge PR #7014: New merging process | Maxime Dénès | |
| The last merge with the centralized process ;) | |||
| 2018-03-20 | Add CODEOWNERS | Maxime Dénès | |
| See https://help.github.com/articles/about-codeowners/ for documentation. | |||
| 2018-03-19 | Describe new merging process. | Maxime Dénès | |
| 2018-03-16 | Merge PR #7007: Emergency fix for OSX packaging job on Travis. | Maxime Dénès | |
| 2018-03-16 | Merge PR #7000: win: update bignums to tag V8.8-beta.1 | Maxime Dénès | |
| 2018-03-16 | Merge PR #7006: [Sphinx] Add chapter 11 | Maxime Dénès | |
| 2018-03-16 | Merge PR #7005: Fix coqtop timeout | Maxime Dénès | |
| 2018-03-16 | Emergency fix for OSX packaging job on Travis. | Maxime Dénès | |
| Updates to homebrew packages can currently make this packaging job fail at any stage of the release cycle. Also, we are leaving dangerously because we depend on python2 and python3 at the same time, which is not supported by homebrew. To make this more reliable, we should switch to a Nix-based build infrastructure at least for macOS. | |||
| 2018-03-16 | [Sphinx] Add chapter 11 | Maxime Dénès | |
| Thanks to Enrico Tassi, Assia Mahboubi, Laurence Rideau and Yves Bertot for porting this chapter. | |||
| 2018-03-16 | Merge PR #7003: 8.8 changes | Maxime Dénès | |
| 2018-03-16 | [Sphinx] Better error message for coqtop errors | Maxime Dénès | |
| 2018-03-16 | [Sphinx] Increase coqtop timeout to avoid spurious failures on CI | Maxime Dénès | |
| 2018-03-16 | Latest fixes. | Matthieu Sozeau | |
| I think we can all agree this release has a chilean flavor anyway (as in hot and cold :) | |||
| 2018-03-15 | Fix some items in Credits | Maxime Dénès | |
| 2018-03-15 | Add some missing entries in CHANGES | Maxime Dénès | |
| 2018-03-15 | Merge PR #6992: Credits for 8.8 | Maxime Dénès | |
| 2018-03-15 | Credits for 8.8 | Matthieu Sozeau | |
| 2018-03-15 | [win] update bignums to tag V8.8+beta1 | Enrico Tassi | |
| 2018-03-15 | Merge PR #6997: Sphinx doc chapter 3 | Maxime Dénès | |
| 2018-03-15 | [Sphinx] Add chapter 3 | Maxime Dénès | |
| Thanks to Pierre Letouzey for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Move chapter 3 to new infrastructure | Maxime Dénès | |
| 2018-03-15 | Merge PR #6996: Sphinx doc chapter 16 | Maxime Dénès | |
| 2018-03-15 | [Sphinx] Add chapter 16 | Maxime Dénès | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Move chapter 16 to new infrastructure | Maxime Dénès | |
| 2018-03-15 | Merge PR #6995: Sphinx doc chapter 14 | Maxime Dénès | |
| 2018-03-15 | [Sphinx] Add chapter 14 | Maxime Dénès | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Move chapter 14 to new infrastructure | Maxime Dénès | |
| 2018-03-15 | Merge PR #6993: Sphinx doc chapter 13 | Maxime Dénès | |
| 2018-03-15 | [Sphinx] Add chapter 13 | Maxime Dénès | |
| Thanks to Paul Steckler for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Move chapter 13 to new infrastructure | Maxime Dénès | |
| 2018-03-15 | Merge PR #6991: Sphinx doc chapter 12 | Maxime Dénès | |
| 2018-03-15 | [Sphinx] Add chapter 12 | Maxime Dénès | |
| Thanks to Clément Pit-Claudel for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Move chapter 12 to new infrastructure | Maxime Dénès | |
| 2018-03-15 | Merge PR #6990: Sphinx doc chapter 10 | Maxime Dénès | |
| 2018-03-15 | [Sphinx] Add chapter 10 | Maxime Dénès | |
| Thanks to Calvin Beck for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Move chapter 10 to new infrastructure | Maxime Dénès | |
| 2018-03-15 | Merge PR #6987: Sphinx doc chapter 8 | Maxime Dénès | |
| 2018-03-15 | [Sphinx] Add chapter 8 | Maxime Dénès | |
| Thanks to Heiko Becker and Nikita Zyuzin for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Move chapter 8 to new infrastructure | Maxime Dénès | |
| 2018-03-15 | Merge PR #6985: Sphinx doc chapter 5 | Maxime Dénès | |
| 2018-03-15 | [Sphinx] Add chapter 5 | Maxime Dénès | |
| Thanks to Richard Ford for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Move chapter 5 to new infrastructure | Maxime Dénès | |
| 2018-03-15 | Merge PR #6983: Sphinx doc chapter 4 | Maxime Dénès | |
| 2018-03-15 | [Sphinx] Add chapter 4 | Maxime Dénès | |
| Thanks to Richard Ford for porting this chapter. | |||
| 2018-03-15 | [Sphinx] Move chapter 4 to new infrastructure | Maxime Dénès | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |