aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2017-08-10Amendments to contributing docTej Chajed
2017-08-10Add a set of contributing guidelinesTej Chajed
2017-08-08Set detachable windows type hint to dialog.Olivier Marty
2017-08-07Add build_coq_or to APISigurd Schneider
2017-08-06Print names of all open blocksTej Chajed
2017-08-04Makefile: install-byte works even if -coqide noEnrico Tassi
2017-08-03Amend wording to capture intended meaningSam Pablo Kuper
2017-08-02Rewording the introductionEnrico Tassi
2017-08-02Rephrasing a couple of sentences in a more factual way.Hugo Herbelin
2017-08-02Rephrasing the introduction in a more factual and up-to-date way.Hugo Herbelin
2017-08-02Port ssr manual to Coq's latex/hevea styleEnrico Tassi
2017-08-02Makefile.doc: implement serve-refman-8080 targetEnrico Tassi
2017-08-02Update Setoid.texlarsr
2017-08-02Makefile: 'make clean' now immune to the check for binary files without sourcesPierre Letouzey
2017-08-02Typo in the documentation of cumulativityAmin Timany
2017-08-01Unbreak RecTutorial.vGaëtan Gilbert
2017-08-01Remove old doc/rt files.Gaëtan Gilbert
2017-08-01Add dev/v8-syntax/check-grammar byproducts to gitignore.Gaëtan Gilbert
2017-08-01Remove obsolete filesGaëtan Gilbert
2017-08-01Add .v extension to dev/doc/notes-on-conversionGaëtan Gilbert
2017-08-01Remove dev/TODOGaëtan Gilbert
2017-08-01Fix syntax-v8.tex bad parenthesizingGaëtan Gilbert
2017-08-01Remove unused Makefiles in dev/tools/Gaëtan Gilbert
2017-08-01[flags] Remove XML output flag.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 14:09:02 +0000