aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2015-01-16Documenting the removal of coercions between sig, sigT, sig2,Hugo Herbelin
2015-01-16Add two lemmas about firstn to the List standard library.Sébastien Hinderer
2015-01-16Lemmas related to the firstn function over lists.Sébastien Hinderer
2015-01-16ListSet: follow-up of Sebastien's last commitPierre Letouzey
2015-01-16Work in progress on listset.Sébastien Hinderer
2015-01-15Added stuff about -I -Q -R in COMPATIBILTY.Pierre Courtieu
2015-01-15Revert "Bump version and magic numbers in configure."Maxime Dénès
2015-01-15Merge branch 'v8.5' into trunkMaxime Dénès
2015-01-15Remove left-over dead code in previous commit.Maxime Dénès
2015-01-15Make -print-mod-uid accept a list of files.Maxime Dénès
2015-01-15Mention CHANGES file in COMPATIBILITY.Maxime Dénès
2015-01-15Mention guard condition in CHANGES.Maxime Dénès
2015-01-15Make installation of native files more robust.Maxime Dénès
2015-01-15Mention CHANGES file in COMPATIBILITY.Maxime Dénès
2015-01-15Mention guard condition in CHANGES.Maxime Dénès
2015-01-15Make installation of native files more robust.Maxime Dénès
2015-01-15Hugo put me in credits, but I was already there :)Maxime Dénès
2015-01-15Makefile: install ide/*langEnrico Tassi
2015-01-15coq_makefile: chmod 755 on toplopp cmxsEnrico Tassi
2015-01-15CoqIDE: a Make file to build coqidetop toploopEnrico Tassi
2015-01-15coq_makefile installs native filesPierre Boutillier
2015-01-15Always build (even when -coqide no) and install idetoploopPierre Boutillier
2015-01-15Hugo put me in credits, but I was already there :)Maxime Dénès
2015-01-15Tentatively updating credits while remaining brief.Hugo Herbelin
2015-01-14Makefile: install ide/*langEnrico Tassi
2015-01-14coq_makefile: chmod 755 on toplopp cmxsEnrico Tassi
2015-01-14CoqIDE: a Make file to build coqidetop toploopEnrico Tassi
2015-01-14Reference manual: I had previously omitted the syntax entry for [> t1|…|tn].Arnaud Spiwack
2015-01-14Reference manual: document tryif/then/else.Arnaud Spiwack
2015-01-14Reference manual: document multimatch.Arnaud Spiwack
2015-01-14Reference manual: try and improve documentation for Ltac's match.Arnaud Spiwack
2015-01-14Reference manual: try and improve the documentation of lazymatch.Arnaud Spiwack
2015-01-14Reference manual: document gfail.Arnaud Spiwack
2015-01-14CHANGES: my recent updates to Ltac.Arnaud Spiwack
2015-01-14Reference manual: I had previously omitted the syntax entry for [> t1|…|tn].Arnaud Spiwack
2015-01-14Reference manual: document tryif/then/else.Arnaud Spiwack
2015-01-14Reference manual: document multimatch.Arnaud Spiwack
2015-01-14Reference manual: try and improve documentation for Ltac's match.Arnaud Spiwack
2015-01-14Reference manual: try and improve the documentation of lazymatch.Arnaud Spiwack
2015-01-14Reference manual: document gfail.Arnaud Spiwack
2015-01-14CHANGES: my recent updates to Ltac.Arnaud Spiwack
2015-01-14coq_makefile installs native filesPierre Boutillier
2015-01-14Always build (even when -coqide no) and install idetoploopPierre Boutillier
2015-01-13Bump version and magic numbers in configure.Maxime Dénès
2015-01-13Tentatively updating credits while remaining brief.Hugo Herbelin
2015-01-13Made -print-mod-uid more silent and robust.Maxime Dénès
2015-01-13Refresh some copyright headers.Maxime Dénès
2015-01-13Native compiler: if debug flag not present, remove .native files.Maxime Dénès
2015-01-13More documentation of the Local Definitions and Axioms.Pierre-Marie Pédrot
2015-01-13More in CHANGES about local definitionsPierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-26 13:17:49 +0000