| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2014-05-08 | Renaming new_induct -> induction; new_destruct -> destruct. | Hugo Herbelin |
| 2013-05-09 | A uniformization step around understand_* and interp_* functions. | herbelin |
| 2012-05-29 | Some documentation of recent changes concerning interfaces | letouzey |
| 2011-10-11 | Moved to a more standard order of arguments (i.e. env followed by evar_map) | herbelin |
| 2011-02-11 | Update changelogs | glondu |
| 2010-09-30 | Simplify tactic(_)-bound arguments in TACTIC EXTEND rules | glondu |
| 2010-07-22 | Cleaned a bit the grammar and terminology for binders (see dev/doc/changes.txt). | herbelin |
| 2010-06-29 | Made tclABSTRACT normalize evars before saying it does not support | herbelin |
