aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* improve merge-pr scriptGravatar Enrico Tassi2018-03-23
* Merge PR #7023: [ssreflect] Respect Opaque in FO unificationGravatar Enrico Tassi2018-03-21
|\
| * [ssreflect] Respect Opaque in FO unificationGravatar Maxime Dénès2018-03-20
|/
* Merge PR #7022: Update CODEOWNERSGravatar Maxime Dénès2018-03-20
|\
| * Update CODEOWNERSGravatar Enrico2018-03-20
|/
* Merge PR #7014: New merging processGravatar Maxime Dénès2018-03-20
|\
| * Add CODEOWNERSGravatar Maxime Dénès2018-03-20
| * Describe new merging process.Gravatar Maxime Dénès2018-03-19
|/
* Merge PR #7007: Emergency fix for OSX packaging job on Travis.Gravatar Maxime Dénès2018-03-16
|\
* \ Merge PR #7000: win: update bignums to tag V8.8-beta.1Gravatar Maxime Dénès2018-03-16
|\ \
* \ \ Merge PR #7006: [Sphinx] Add chapter 11Gravatar Maxime Dénès2018-03-16
|\ \ \
* \ \ \ Merge PR #7005: Fix coqtop timeoutGravatar Maxime Dénès2018-03-16
|\ \ \ \
| | | | * Emergency fix for OSX packaging job on Travis.Gravatar Maxime Dénès2018-03-16
| | * | | [Sphinx] Add chapter 11Gravatar Maxime Dénès2018-03-16
| |/ / / |/| | |
* | | | Merge PR #7003: 8.8 changesGravatar Maxime Dénès2018-03-16
|\ \ \ \ | |_|_|/ |/| | |
| | * | [Sphinx] Better error message for coqtop errorsGravatar Maxime Dénès2018-03-16
| | * | [Sphinx] Increase coqtop timeout to avoid spurious failures on CIGravatar Maxime Dénès2018-03-16
| |/ / |/| |
| * | Latest fixes.Gravatar Matthieu Sozeau2018-03-16
| * | Fix some items in CreditsGravatar Maxime Dénès2018-03-15
| * | Add some missing entries in CHANGESGravatar Maxime Dénès2018-03-15
|/ /
* | Merge PR #6992: Credits for 8.8Gravatar Maxime Dénès2018-03-15
|\ \
| * | Credits for 8.8Gravatar Matthieu Sozeau2018-03-15
| | * [win] update bignums to tag V8.8+beta1Gravatar Enrico Tassi2018-03-15
| |/
* | Merge PR #6997: Sphinx doc chapter 3Gravatar Maxime Dénès2018-03-15
|\ \ | |/ |/|
| * [Sphinx] Add chapter 3Gravatar Maxime Dénès2018-03-15
| * [Sphinx] Move chapter 3 to new infrastructureGravatar Maxime Dénès2018-03-15
|/
* Merge PR #6996: Sphinx doc chapter 16Gravatar Maxime Dénès2018-03-15
|\
| * [Sphinx] Add chapter 16Gravatar Maxime Dénès2018-03-15
| * [Sphinx] Move chapter 16 to new infrastructureGravatar Maxime Dénès2018-03-15
|/
* Merge PR #6995: Sphinx doc chapter 14Gravatar Maxime Dénès2018-03-15
|\
| * [Sphinx] Add chapter 14Gravatar Maxime Dénès2018-03-15
| * [Sphinx] Move chapter 14 to new infrastructureGravatar Maxime Dénès2018-03-15
|/
* Merge PR #6993: Sphinx doc chapter 13Gravatar Maxime Dénès2018-03-15
|\
| * [Sphinx] Add chapter 13Gravatar Maxime Dénès2018-03-15
| * [Sphinx] Move chapter 13 to new infrastructureGravatar Maxime Dénès2018-03-15
|/
* Merge PR #6991: Sphinx doc chapter 12Gravatar Maxime Dénès2018-03-15
|\
| * [Sphinx] Add chapter 12Gravatar Maxime Dénès2018-03-15
| * [Sphinx] Move chapter 12 to new infrastructureGravatar Maxime Dénès2018-03-15
|/
* Merge PR #6990: Sphinx doc chapter 10Gravatar Maxime Dénès2018-03-15
|\
| * [Sphinx] Add chapter 10Gravatar Maxime Dénès2018-03-15
| * [Sphinx] Move chapter 10 to new infrastructureGravatar Maxime Dénès2018-03-15
|/
* Merge PR #6987: Sphinx doc chapter 8Gravatar Maxime Dénès2018-03-15
|\
| * [Sphinx] Add chapter 8Gravatar Maxime Dénès2018-03-15
| * [Sphinx] Move chapter 8 to new infrastructureGravatar Maxime Dénès2018-03-15
|/
* Merge PR #6985: Sphinx doc chapter 5Gravatar Maxime Dénès2018-03-15
|\
| * [Sphinx] Add chapter 5Gravatar Maxime Dénès2018-03-15
| * [Sphinx] Move chapter 5 to new infrastructureGravatar Maxime Dénès2018-03-15
|/
* Merge PR #6983: Sphinx doc chapter 4Gravatar Maxime Dénès2018-03-15
|\
| * [Sphinx] Add chapter 4Gravatar Maxime Dénès2018-03-15
| * [Sphinx] Move chapter 4 to new infrastructureGravatar Maxime Dénès2018-03-15
|/
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-13 22:49:07 +0000