| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Update configure.ml to only warn on lablgtk 2.16.0 |  Jason Gross | 2018-01-16 |
| * | Merge PR #6578: Remove references to deleted Unicode.Unsupported exception |  Maxime Dénès | 2018-01-13 |
| |\ | |||
| * \ | Merge PR #6581: Added newline at the end of usage of coqdep. | Maxime Dénès | 2018-01-13 |
| |\ \ | |||
| * \ \ | Merge PR #6564: Fix undefined variables in test-suite/Makefile + add PRINT_LOGS | Maxime Dénès | 2018-01-13 |
| |\ \ \ | |||
| * \ \ \ | Merge PR #6483: Strong invariants in polymorphic definitions | Maxime Dénès | 2018-01-12 |
| |\ \ \ \ | |||
| * \ \ \ \ | Merge PR #6288: Interfaces for checker and IDE. | Maxime Dénès | 2018-01-12 |
| |\ \ \ \ \ | |||
| | | * | | | | Adding a custom Travis overlay for HoTT. |  Pierre-Marie Pédrot | 2018-01-11 |
| | | * | | | | Enforce that polymorphic definitions do not generate internal constraints. | Pierre-Marie Pédrot | 2018-01-11 |
| | | | * | | | Document test-suite PRINT_LOGS. |  Gaëtan Gilbert | 2018-01-11 |
| | | | * | | | Fix undefined variables in test-suite/Makefile + add PRINT_LOGS | Gaëtan Gilbert | 2018-01-11 |
| | |_|/ / / |/| | | | | |||
| * | | | | | Merge PR #6557: First stab at documenting the test suite. | Maxime Dénès | 2018-01-11 |
| |\ \ \ \ \ | |||
| * \ \ \ \ \ | Merge PR #6552: [PR template] Remove the relative link to CHANGES. | Maxime Dénès | 2018-01-11 |
| |\ \ \ \ \ \ | |||
| | | | | | * | | Added newline at the end of usage of coqdep. |  Bernhard Schommer | 2018-01-11 |
| | |_|_|_|/ / |/| | | | | | |||
| | | | | * | | Force polymorphic definitions to have no internal constraints. | Pierre-Marie Pédrot | 2018-01-11 |
| | | | | | * | Remove references to removed Unicode.Unsupported |  Jasper Hugunin | 2018-01-11 |
| | |_|_|_|/ |/| | | | | |||
| | | * | | | Lint and remove redundant line | Jasper Hugunin | 2018-01-11 |
| | | | * | | Add interfaces for IDE and remove dead code. | Maxime Dénès | 2018-01-10 |
| | | | * | | Add interfaces for checker and remove dead code. | Maxime Dénès | 2018-01-10 |
| | |_|/ / |/| | | | |||
| * | | | | Merge PR #6519: Python script checking missing/unnecessary [needs: rebase] label | Maxime Dénès | 2018-01-10 |
| |\ \ \ \ | |||
| * \ \ \ \ | Merge PR #6570: [meta] Fix typo on Coq's META file following #6444. | Maxime Dénès | 2018-01-10 |
| |\ \ \ \ \ | |_|_|_|/ |/| | | | | |||
| | | | | * | Add comments by @psteckler to test-suite/README.md | Jasper Hugunin | 2018-01-10 |
| | * | | | | [meta] Fix typo on Coq's META file following #6444. |  Emilio Jesus Gallego Arias | 2018-01-09 |
| |/ / / / | |||
| * | | | | Merge PR #6532: Fix mli-doc issue #6531 | Maxime Dénès | 2018-01-08 |
| |\ \ \ \ | |||
| * \ \ \ \ | Merge PR #6489: Update PNGs; mention async error handling; change query windo... | Maxime Dénès | 2018-01-08 |
| |\ \ \ \ \ | |||
| * \ \ \ \ \ | Merge PR #6497: Add optimize_heap tactic for #6488 | Maxime Dénès | 2018-01-08 |
| |\ \ \ \ \ \ | |||
| * \ \ \ \ \ \ | Merge PR #6549: Normalize package names | Maxime Dénès | 2018-01-08 |
| |\ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ | Merge PR #6533: Update the lower-bound of the lablgtk dependency. | Maxime Dénès | 2018-01-08 |
| |\ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ | Merge PR #6425: Cleanup universes in the kernel | Maxime Dénès | 2018-01-08 |
| |\ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ | Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scripts | Maxime Dénès | 2018-01-08 |
| |\ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ | Merge PR #6530: Ignore generated test-suite/output/MExtraction.out | Maxime Dénès | 2018-01-08 |
| |\ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6517: Trim more trailing whitespace in coq-makefile timing test | Maxime Dénès | 2018-01-08 |
| |\ \ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6527: Update backport script for more control. | Maxime Dénès | 2018-01-08 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6526: Fixing various typos in the Credits chapter. | 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 #6510: Document between and exists_between types. | Maxime Dénès | 2018-01-08 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| | * | | | | | | | | | | | | | | | Document between and exists_between types. |  Ismail | 2018-01-08 |
| * | | | | | | | | | | | | | | | | Merge PR #6518: Fix build of micromega & nsatz with OCaml 4.06 | Maxime Dénès | 2018-01-08 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi... | Maxime Dénès | 2018-01-08 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | | | | | | | | | * | Mention -B argument of make to rerun tests | Jasper Hugunin | 2018-01-07 |
| | | | | | | | | | | | | | | | | | * | First stab at documenting the test suite. | Jasper Hugunin | 2018-01-06 |
| | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | |||
| | | | | | | | | | | | | | | | | * | [PR template] Remove the relative link. |  Théo Zimmermann | 2018-01-05 |
| | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | |||
| | | | | | | | | | | | * | | | | | Normalize MacOS installer name. | Théo Zimmermann | 2018-01-04 |
| | | | | | | | | | | | * | | | | | Normalize Windows installer names. | Théo Zimmermann | 2018-01-04 |
| | |_|_|_|_|_|_|_|_|_|/ / / / / |/| | | | | | | | | | | | | | | |||
| | | | | | | | | | | * | | | | | Update the lower-bound of the lablgtk dependency. | Théo Zimmermann | 2018-01-04 |
| | |_|_|_|_|_|_|_|_|/ / / / / |/| | | | | | | | | | | | | | |||
| | | | | | | | | | | * | | | | add optimize_heap tactic for #6488 |  Paul Steckler | 2018-01-03 |
| | | | | | | | | | | | * | | | update PNGs; mention async error handling; change query window to query pane;... | Paul Steckler | 2018-01-03 |
| | | | | | | | | | | | | * | | Fix mli-doc issue #6531 |  Tony Beta Lambda | 2018-01-01 |
| | |_|_|_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | | | |||
| | | | | | | | * | | | | | | Ignore generated test-suite/output/MExtraction.out | Jason Gross | 2017-12-31 |
| | |_|_|_|_|_|/ / / / / / |/| | | | | | | | | | | | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |