aboutsummaryrefslogtreecommitdiff
path: root/dev/doc
AgeCommit message (Expand)Author
2016-12-02Merge remote-tracking branch 'github/pr/372' into v8.6Maxime Dénès
2016-12-02Merge remote-tracking branch 'github/pr/368' into v8.6Maxime Dénès
2016-12-02Merge remote-tracking branch 'github/pr/369' into v8.6Maxime Dénès
2016-12-02Merge remote-tracking branch 'github/pr/371' into v8.6Maxime Dénès
2016-11-24Fix some documentation typos.Guillaume Melquiond
2016-11-21(v8.6) Update dev/doc/changes.txt with HintsResolveEntry changesJason Gross
2016-11-21(v8.6) Update dev/doc/changes with things about mem_named_contextJason Gross
2016-11-21(v8.6) Make a note about wit_constr and Constrarg in dev/doc/changesJason Gross
2016-11-21(v8.6) Add example in dev/doc/changes involving Tacmach.projectJason Gross
2016-11-16[doc] Mention XML protocol on changes.Emilio Jesus Gallego Arias
2016-10-20[search] Don't build intermediate lists in search.Emilio Jesus Gallego Arias
2016-10-17More on making the lexer more functional (continuing b8ae2de5 andHugo Herbelin
2016-08-16Merge PR #237 into v8.6Pierre-Marie Pédrot
2016-07-05FIX: "dev/doc/changes.txt"Matej Kosik
2016-07-04Add a renaming of Tacexpr.TacDynamicJason Gross
2016-07-03Mention recent renaming of files in dev/doc/changes.txt.Maxime Dénès
2016-07-01Add and document match, fix and cofix reduction flags.Maxime Dénès
2016-07-01Separate flags for fix/cofix/match reduction and clean reduction function names.Maxime Dénès
2016-06-25[doc] Update changes for feedback.Emilio Jesus Gallego Arias
2016-06-25[feedback] Add optional ?loc parameter to loggers.Emilio Jesus Gallego Arias
2016-06-21Makefile: compat5* moved in grammar/, less -I given to camlp4oPierre Letouzey
2016-06-09Documenting API changes in dev/doc/changes.txt.Pierre-Marie Pédrot
2016-06-09Merge PR #197.Pierre-Marie Pédrot
2016-06-08Adding profiling developer information in dev/doc/profiling.txt.Pierre-Marie Pédrot
2016-06-08Add an explicit replacement rule for Refine moduleJason Gross
2016-06-08Officially discontinue the experimental coq build via ocamlbuildPierre Letouzey
2016-06-02A slight phase of documentation and uniformization of names ofHugo Herbelin
2016-06-01Merge branch 'yet-another-makefile-bigbang' into trunkPierre Letouzey
2016-06-01Yet another Makefile reform : a unique phase without nasty make tricksPierre Letouzey
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-05-03A note concerning the "Drop" command.Matej Kosik
2016-05-03setup.txt : a guide explaining taming Emacs, Merlin, Company, Ocamldebug.Matej Kosik
2016-03-21Creating a dedicated ltac/ folder for Hightactics.Pierre-Marie Pédrot
2016-03-20Documenting changes.Pierre-Marie Pédrot
2016-03-18Documenting the change of EXTEND macros.Pierre-Marie Pédrot
2016-03-09Merge branch 'render-prehistory' of https://github.com/aspiwack/coq into aspi...Hugo Herbelin
2016-02-09CLEANUP: Context.{Rel,Named}.Declaration.tMatej Kosik
2016-01-11CLEANUP: kernel/context.ml{,i}Matej Kosik
2015-12-02Update history of revisions.Hugo Herbelin
2015-11-16Being more precise and faithful about the origin of the file reportingHugo Herbelin
2015-11-11Prehistory of Coq: move the bibliographic references to a dedicated section.Arnaud Spiwack
2015-11-11Prehistory of Coq: justification of the plain text.Arnaud Spiwack
2015-11-11Prehistory of Coq: consistency.Arnaud Spiwack
2015-11-11Prehistory of Coq: various corrections on English.Arnaud Spiwack
2015-11-11Prehistory of Coq: asciidoc conversion.Arnaud Spiwack
2015-10-13Fix some typos.Guillaume Melquiond
2015-10-09Minor typo in universe polymorphism doc.Maxime Dénès
2015-10-02Updating versions history with data from Gérard.Hugo Herbelin
2015-10-02Update the history of versions with recent versions.Hugo Herbelin
2015-10-02Univs: More info for developers.Matthieu Sozeau
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 16:15:03 +0000