aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-02-28Adding change logHugo Herbelin
2020-02-28Makefile in test-suite: More separation of concerns as suggested by Enrico.Hugo Herbelin
2020-02-28Fixed some escaping problems with arguments containing spaces in IDE's Compil...Ike Mulder
2020-02-27Merge PR #11650: Set Printing ParensEmilio Jesus Gallego Arias
2020-02-27Merge PR #11581: [native compiler] Add options to set object directories.Maxime Dénès
2020-02-26[native compiler] Allow to set OCaml include dirs for compilationEmilio Jesus Gallego Arias
2020-02-26[native compiler] Allow to set the output directory for cmx objectsEmilio Jesus Gallego Arias
2020-02-26Merge PR #11644: Use implicit arguments in notations for eq.Hugo Herbelin
2020-02-26Merge PR #11687: Fix changelog for https://github.com/coq/coq/pull/11686Théo Zimmermann
2020-02-26Fix changelog for https://github.com/coq/coq/pull/11686Maxime Dénès
2020-02-26Merge PR #11686: Consolidate int63-related notationsthery
2020-02-26Consolidate int63-related notationsMaxime Dénès
2020-02-25Merge PR #11680: Fixing residual bug of #11120: inheritance of maximal implic...Emilio Jesus Gallego Arias
2020-02-25Merge PR #11663: Remove unqualified universe attributes.Emilio Jesus Gallego Arias
2020-02-25Merge PR #11669: Remove hard to read blue color in merge-prEmilio Jesus Gallego Arias
2020-02-25Merge PR #11674: [ci] Fix Coquelicot buildGaëtan Gilbert
2020-02-25Merge PR #11666: Do not perform a universe diff when typing opaque constants.Gaëtan Gilbert
2020-02-25Use implicit arguments in notations for eq.Gaëtan Gilbert
2020-02-25Merge PR #11432: More portable C flagsMaxime Dénès
2020-02-25Merge PR #11498: [exn] Forbid raising in exn printers, make them return Pp.t ...Pierre-Marie Pédrot
2020-02-25Merge PR #11489: [exn] remove `raise` taking optional exception information a...Pierre-Marie Pédrot
2020-02-25Merge PR #11675: Make it clear how to import Ltac2Théo Zimmermann
2020-02-25Merge PR #11655: [parsing] Track need to reinit by typingPierre-Marie Pédrot
2020-02-25Fixing residual bug of #11120.Hugo Herbelin
2020-02-24Make it clear how to import Ltac2Clément Pit-Claudel
2020-02-24[ci] Fix Coquelicot buildEmilio Jesus Gallego Arias
2020-02-24Merge PR #11560: Fix #11549: Ltac2 is incompatible with $.Tej Chajed
2020-02-24added sphinx docAbhishek Anand (optiplex7010@home)
2020-02-24added changelogAbhishek Anand (optiplex7010@home)
2020-02-24[exn] remove `raise` taking optional exception information argumentEmilio Jesus Gallego Arias
2020-02-24[exn] Generate an anomaly if the exn printer raises.Emilio Jesus Gallego Arias
2020-02-24[exn] Forbid raising in exn printers, make them return Pp.t optionEmilio Jesus Gallego Arias
2020-02-24Merge PR #11653: Tactic_matching.pattern_match_term: remove ignored "refresh"...Pierre-Marie Pédrot
2020-02-24Merge PR #11623: Deprecate unsafe_type_ofPierre-Marie Pédrot
2020-02-24Remove hard to read blue color in merge-prGaëtan Gilbert
2020-02-24Merge PR #11588: test for x[i] notation not breaking Ltac parsingGaëtan Gilbert
2020-02-24Do not perform a universe diff when typing opaque constants.Pierre-Marie Pédrot
2020-02-23Merge PR #11660: Fix #11654: syntax of inductive declaration.Emilio Jesus Gallego Arias
2020-02-23Merge PR #11120: Refactoring code for application printing + fixing #11091 (i...Emilio Jesus Gallego Arias
2020-02-23Merge PR #11637: Update copyright in refman to year 2020.Clément Pit-Claudel
2020-02-23Adding tests for Set Printing Parentheses.Hugo Herbelin
2020-02-23Cancelling precedences in Set Printing Parentheses only at border of notations.Hugo Herbelin
2020-02-23Adding a Display Parentheses menu in CoqIDE.Hugo Herbelin
2020-02-23Not iterating recursive notations more than once.Hugo Herbelin
2020-02-23parens --> parenthesesAbhishek Anand (optiplex7010@home)
2020-02-23bugfix: switched then/else: parens option false (default)=> no parensAbhishek Anand (optiplex7010@home)
2020-02-23added the new optionAbhishek Anand (optiplex7010@home)
2020-02-23patched the print functionAbhishek Anand (optiplex7010@home)
2020-02-23Remove unqualified universe attributes.Théo Zimmermann
2020-02-23Merge pull request #11629 from ppedrot/fix-11552Tej Chajed
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-21 00:23:31 +0000