| Age | Commit message (Expand) | Author |
|---|
| 2016-12-07 | Merge branch 'v8.6' | Pierre-Marie Pédrot |
| 2016-12-02 | Merge remote-tracking branch 'github/pr/372' into v8.6 | Maxime Dénès |
| 2016-12-02 | Merge remote-tracking branch 'github/pr/368' into v8.6 | Maxime Dénès |
| 2016-12-02 | Merge remote-tracking branch 'github/pr/369' into v8.6 | Maxime Dénès |
| 2016-11-21 | (v8.6) Update dev/doc/changes.txt with HintsResolveEntry changes | Jason Gross |
| 2016-11-21 | (v8.6) Update dev/doc/changes with things about mem_named_context | Jason Gross |
| 2016-11-21 | (v8.6) Make a note about wit_constr and Constrarg in dev/doc/changes | Jason Gross |
| 2016-11-21 | (v8.6) Add example in dev/doc/changes involving Tacmach.project | Jason Gross |
| 2016-11-18 | Merge branch 'v8.6' | Pierre-Marie Pédrot |
| 2016-11-16 | [doc] Mention XML protocol on changes. | Emilio Jesus Gallego Arias |
| 2016-10-24 | Merge branch 'v8.6' | Pierre-Marie Pédrot |
| 2016-10-20 | [search] Don't build intermediate lists in search. | Emilio Jesus Gallego Arias |
| 2016-10-20 | COMMENTS: dev/doc/changes.txt | Matej Kosik |
| 2016-10-19 | CLEANUP: rename "Nameops.lift_subscript" to "Nameops.increment_subscript". | Matej Kosik |
| 2016-10-18 | Merge branch 'v8.6' | Pierre-Marie Pédrot |
| 2016-10-17 | More on making the lexer more functional (continuing b8ae2de5 and | Hugo Herbelin |
| 2016-09-21 | Merging Stdarg and Constrarg. | Pierre-Marie Pédrot |
| 2016-09-15 | Documenting API changes. | Pierre-Marie Pédrot |
| 2016-09-08 | Merge PR #244. | Pierre-Marie Pédrot |
| 2016-08-26 | CLEANUP: removing "Termops.compact_named_context_reverse" function | Matej Kosik |
| 2016-08-26 | CLEANUP: renaming "Printer.pr_var_decl" function to "Printer.pr_named_decl" | Matej Kosik |
| 2016-08-26 | CLEANUP: renaming "Context.ListNamed" module to "Context.Compacted" | Matej Kosik |
| 2016-08-25 | CLEANUP: Type alias "Context.section_context" was removed | Matej Kosik |
| 2016-08-25 | CLEANUP: functions "Context.{Rel,Named}.Context.fold" were renamed to "Contex... | Matej Kosik |
| 2016-08-19 | Make the user_err header an optional parameter. | Emilio Jesus Gallego Arias |
| 2016-08-19 | Remove errorlabstrm in favor of user_err | Emilio Jesus Gallego Arias |
| 2016-08-19 | Unify location handling of error functions. | Emilio Jesus Gallego Arias |
| 2016-08-16 | Merge PR #237 into v8.6 | Pierre-Marie Pédrot |
| 2016-07-05 | FIX: "dev/doc/changes.txt" | Matej Kosik |
| 2016-07-04 | Add a renaming of Tacexpr.TacDynamic | Jason Gross |
| 2016-07-03 | Mention recent renaming of files in dev/doc/changes.txt. | Maxime Dénès |
| 2016-07-01 | Add and document match, fix and cofix reduction flags. | Maxime Dénès |
| 2016-07-01 | Separate 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-09 | Documenting API changes in dev/doc/changes.txt. | Pierre-Marie Pédrot |
| 2016-06-08 | Add an explicit replacement rule for Refine module | Jason Gross |
| 2016-06-02 | A slight phase of documentation and uniformization of names of | Hugo Herbelin |
| 2016-05-31 | Feedback cleanup | Emilio Jesus Gallego Arias |
| 2016-03-20 | Documenting changes. | Pierre-Marie Pédrot |
| 2016-03-18 | Documenting the change of EXTEND macros. | Pierre-Marie Pédrot |
| 2016-02-09 | CLEANUP: Context.{Rel,Named}.Declaration.t | Matej Kosik |
| 2016-01-11 | CLEANUP: kernel/context.ml{,i} | Matej Kosik |
| 2014-12-09 | Switch the few remaining iso-latin-1 files to utf8 | Pierre Letouzey |
| 2014-09-12 | Uniformisation of the order of arguments env and sigma. | Hugo Herbelin |
| 2014-08-18 | A reorganization of the "assert" tactics (hopefully uniform naming | Hugo Herbelin |
| 2014-08-18 | Reorganisation of intropattern code | Hugo Herbelin |
| 2014-08-01 | A tentative uniform naming policy in module Inductiveops. | Hugo Herbelin |
| 2014-06-28 | Moved code for finding subterms (pattern, induction, set, generalize, ...) | Hugo Herbelin |
| 2014-05-08 | Isolating a function "make_abstraction", new name of "letin_abstract", | Hugo Herbelin |
