aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-08-17Merge PR #974: Change section caption, improve some wordingMaxime Dénès
2017-08-17Merge PR #976: Document anonymous universes (PR #544).Maxime Dénès
2017-08-17Use the wording suggested by Gaetan.Théo Zimmermann
2017-08-17Addition suggested by Pierre-Marie.Théo Zimmermann
2017-08-17Change 8.7~alpha to 8.7+alpha.Maxime Dénès
2017-08-17Make Travis generate OSX packages.Maxime Dénès
2017-08-17Document anonymous universes (PR #544).Gaëtan Gilbert
2017-08-17Adding documentation for Printing Focused option.Pierre Courtieu
2017-08-16Additions following Hugo's suggestions.Théo Zimmermann
2017-08-16mention that tactic is the identity or gives errorPaul Steckler
2017-08-16Improve wording.Théo Zimmermann
2017-08-16Mention tclINDEPENDENTL (#349) in dev/doc/changes.Théo Zimmermann
2017-08-168.7 CHANGESThéo Zimmermann
2017-08-16change section caption, improve some wordingPaul Steckler
2017-08-16Porting #856 (8.6.1 CHANGES entries) to masterThéo Zimmermann
2017-08-16Merge PR #957: Set detachable windows type hint to dialog.Maxime Dénès
2017-08-16Merge PR #831: Port ssreflect user manual to Coq's latex/hevea styleMaxime Dénès
2017-08-16Merge PR #912: Detyping functions are now operating on EConstr.t.Maxime Dénès
2017-08-16Merge PR #942: solving b1859Maxime Dénès
2017-08-16Merge PR #954: Print names of all open blocksMaxime Dénès
2017-08-16Merge PR #964: More portable location for the time command.Maxime Dénès
2017-08-16Merge PR #951: Makefile: install-byte works even if -coqide noMaxime Dénès
2017-08-16Merge PR #841: Timorous fix of bug #5598 on global existing class in sectionsMaxime Dénès
2017-08-16Merge PR #948: [doc] Write (@nil nat) instead of (nil nat)Maxime Dénès
2017-08-16Merge PR #944: Fix typos. Improve wording.Maxime Dénès
2017-08-16Merge PR #943: Reference Manual: minor wording improvementsMaxime Dénès
2017-08-16Merge PR #940: Replace jarring use of "Remark" with "Note"Maxime Dénès
2017-08-16Merge PR #934: Fix some coq-tex errors in the reference manual.Maxime Dénès
2017-08-16Merge PR #880: Fix coqdoc bug #5648 on user idents colliding with keywords wr...Maxime Dénès
2017-08-16Merge PR #864: Some cleanups after cumulativity for inductive typesMaxime Dénès
2017-08-15Don't allow coq-dpdgraph to failJason Gross
2017-08-15Move the rest of the ci target to a bash fileJason Gross
2017-08-15Better error messages on the CIJason Gross
2017-08-15Fix a typoJason Gross
2017-08-15Removing trailing "/" and "\" in directory names only on win32.Hugo Herbelin
2017-08-15Adding a test for BZ#1859 as suggested by @tchajed.Théo Zimmermann
2017-08-15Never mind, don't mention coqdevTej Chajed
2017-08-15Mention coqdev@Tej Chajed
2017-08-13Makefile : ignore user-contrib in various file searchesPierre Letouzey
2017-08-12Moving file primitive.ml to cPrimitive.ml to avoid conflict with OCaml.Hugo Herbelin
2017-08-12Also mention Stack ExchangeTej Chajed
2017-08-12Merge PR #963: fix coq_makefileMaxime Dénès
2017-08-12Add some things Jason mentionedTej Chajed
2017-08-12Expand PR process explanationTej Chajed
2017-08-12Link to the existing list of tutorialsTej Chajed
2017-08-12fix coq_makefileMatej Košík
2017-08-12More portable location for the time command.Théo Zimmermann
2017-08-10Simplify a bit of wordingTej Chajed
2017-08-10Describe pull requests a bit more preciselyTej Chajed
2017-08-10Some more tweaks to contributing guideTej Chajed
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 08:00:57 +0000