Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ensuring all .v files end with a newline to make "sed -i" work better on them. | 2017-08-21 | |
* | Merge PR #965: Moving file primitive.ml to cPrimitive.ml to avoid conflict wi... | 2017-08-18 | |
|\ | |||
* \ | Merge PR #983: Correct the option for cumulativity in CHANGES | 2017-08-18 | |
|\ \ | |||
* \ \ | Merge PR #973: Adding documentation for Printing Focused option. | 2017-08-18 | |
|\ \ \ | |||
| | * | | Correct the option for cumulativity in CHANGES | 2017-08-18 | |
* | | | | Merge PR #801: Make Travis generate OSX packages. | 2017-08-18 | |
|\ \ \ \ | |_|/ / |/| | | | |||
| * | | | Separate jobs for test-suite and package building under OSX. | 2017-08-18 | |
* | | | | Merge PR #972: 8.7 change entries | 2017-08-17 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #490: A possible fix for #5391 (command line tools do not accept tra... | 2017-08-17 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #974: Change section caption, improve some wording | 2017-08-17 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #976: Document anonymous universes (PR #544). | 2017-08-17 | |
|\ \ \ \ \ \ \ | |||
| | | | * | | | | Use the wording suggested by Gaetan. | 2017-08-17 | |
| | | | * | | | | Addition suggested by Pierre-Marie. | 2017-08-17 | |
| | | | | * | | | Change 8.7~alpha to 8.7+alpha. | 2017-08-17 | |
| | | | | * | | | Make Travis generate OSX packages. | 2017-08-17 | |
| |_|_|_|/ / / |/| | | | | | | |||
| * | | | | | | Document anonymous universes (PR #544). | 2017-08-17 | |
|/ / / / / / | |||
| | | | * / | Adding documentation for Printing Focused option. | 2017-08-17 | |
| |_|_|/ / |/| | | | | |||
| | | * | | Additions following Hugo's suggestions. | 2017-08-16 | |
| * | | | | mention that tactic is the identity or gives error | 2017-08-16 | |
| | | * | | Improve wording. | 2017-08-16 | |
| | | * | | Mention tclINDEPENDENTL (#349) in dev/doc/changes. | 2017-08-16 | |
| | | * | | 8.7 CHANGES | 2017-08-16 | |
| * | | | | change section caption, improve some wording | 2017-08-16 | |
|/ / / / | |||
| | * / | Porting #856 (8.6.1 CHANGES entries) to master | 2017-08-16 | |
| |/ / |/| | | |||
* | | | Merge PR #957: Set detachable windows type hint to dialog. | 2017-08-16 | |
|\ \ \ | |||
* \ \ \ | Merge PR #831: Port ssreflect user manual to Coq's latex/hevea style | 2017-08-16 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #912: Detyping functions are now operating on EConstr.t. | 2017-08-16 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #942: solving b1859 | 2017-08-16 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #954: Print names of all open blocks | 2017-08-16 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR #964: More portable location for the time command. | 2017-08-16 | |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #951: Makefile: install-byte works even if -coqide no | 2017-08-16 | |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #841: Timorous fix of bug #5598 on global existing class in sections | 2017-08-16 | |
|\ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #948: [doc] Write (@nil nat) instead of (nil nat) | 2017-08-16 | |
|\ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #944: Fix typos. Improve wording. | 2017-08-16 | |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #943: Reference Manual: minor wording improvements | 2017-08-16 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #940: Replace jarring use of "Remark" with "Note" | 2017-08-16 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #934: Fix some coq-tex errors in the reference manual. | 2017-08-16 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #880: Fix coqdoc bug #5648 on user idents colliding with keywords wr... | 2017-08-16 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #864: Some cleanups after cumulativity for inductive types | 2017-08-16 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | | | | | | | * | | Removing trailing "/" and "\" in directory names only on win32. | 2017-08-15 | |
| | | | | | | | | | | | * | | | | | | Adding a test for BZ#1859 as suggested by @tchajed. | 2017-08-15 | |
| | | | | | | | | | | | | | | | | * | Moving file primitive.ml to cPrimitive.ml to avoid conflict with OCaml. | 2017-08-12 | |
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | |||
* | | | | | | | | | | | | | | | | | Merge PR #963: fix coq_makefile | 2017-08-12 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | | | | | | | | fix coq_makefile | 2017-08-12 | |
|/ / / / / / / / / / / / / / / / / | |||
| | | | | | | | | | * / / / / / / | More portable location for the time command. | 2017-08-12 | |
| |_|_|_|_|_|_|_|_|/ / / / / / / |/| | | | | | | | | | | | | | | | |||
| | | | | | | | | | | | | | * | | Set detachable windows type hint to dialog. | 2017-08-08 | |
| |_|_|_|_|_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | | | | | |||
| | | | | | | | | | * | | | | | Print names of all open blocks | 2017-08-06 | |
| |_|_|_|_|_|_|_|_|/ / / / / |/| | | | | | | | | | | | | | |||
| | | | | | | | | * | | | | | Makefile: install-byte works even if -coqide no | 2017-08-04 | |
| |_|_|_|_|_|_|_|/ / / / / |/| | | | | | | | | | | | | |||
| | | | | | * | | | | | | | Amend wording to capture intended meaning | 2017-08-03 | |
| | | | | | | | | | | * | | Rewording the introduction | 2017-08-02 |