aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
| | * | | | | | | | Fix incorrect token description for bullets.Gravatar Guillaume Melquiond2016-10-22
| | * | | | | | | | Fixing printing of generic arguments of tag "var".Gravatar Hugo Herbelin2016-10-22
| | | | | * | | | | Fix a bug in error printing of unif constraintsGravatar Matthieu Sozeau2016-10-22
| | | |_|/ / / / / | | |/| | | | | |
| * | | | | | | | Adding a test for bug #3495.Gravatar Pierre-Marie Pédrot2016-10-21
| * | | | | | | | Oops, my bad, didn't expect a merge issue!Gravatar Matthieu Sozeau2016-10-21
| * | | | | | | | Merge remote-tracking branch 'gforge/v8.5' into v8.6Gravatar Matthieu Sozeau2016-10-21
| |\| | | | | | |
| * | | | | | | | Adding a primitive to recover the set of keywords from the lexer.Gravatar Pierre-Marie Pédrot2016-10-21
| | * | | | | | | Revert "unification.ml: fix for bug #4763, unif regression"Gravatar Maxime Dénès2016-10-21
| | | | | | | | * sections/hints: prevent Not_found in get_type_ofGravatar Matthieu Sozeau2016-10-21
| | |_|_|_|_|_|/ | |/| | | | | |
| * | | | | | | Merge branch 'fixminimization' into v8.6Gravatar Matthieu Sozeau2016-10-21
| |\ \ \ \ \ \ \
| * | | | | | | | Revert 214b9ab7969fae71dcf553c399cb1674e463d0e3Gravatar Matthieu Sozeau2016-10-21
| | * | | | | | | Remove no longer exported debug printerGravatar Matthieu Sozeau2016-10-21
| | | * | | | | | Merge remote-tracking branch 'github/pr/328' into v8.5Gravatar Maxime Dénès2016-10-21
| | | |\ \ \ \ \ \
| * | | \ \ \ \ \ \ Merge remote-tracking branch 'github/pr/233' into v8.6Gravatar Maxime Dénès2016-10-21
| |\ \ \ \ \ \ \ \ \
| | | | * | | | | | | Adding dependency of the test-suite subsystems in prerequisite (fixing #5150).Gravatar Hugo Herbelin2016-10-20
| | | | * | | | | | | A fix for #5097 (status of evars refined by "clear" in ltac: closed wrt evars).Gravatar Hugo Herbelin2016-10-20
| | | * | | | | | | | Cleanup code according to comments.Gravatar Matthieu Sozeau2016-10-20
| | | * | | | | | | | Fix minimization to be insensitive to redundant arcs.Gravatar Matthieu Sozeau2016-10-20
| | |/ / / / / / / / | |/| | | | | | | |
| * | | | | | | | | Merge branch 'bug5036' into v8.6Gravatar Matthieu Sozeau2016-10-20
| |\ \ \ \ \ \ \ \ \
| | * | | | | | | | | Fix bug #5036 autorewrite, sections and universesGravatar Matthieu Sozeau2016-10-20
| | | * | | | | | | | [search] Don't build intermediate lists in search.Gravatar Emilio Jesus Gallego Arias2016-10-20
| | |/ / / / / / / / | |/| | | | | | | |
* | | | | | | | | | COMMENTS: dev/doc/changes.txtGravatar Matej Kosik2016-10-20
* | | | | | | | | | CLEANUP: Namegen.to_avoidGravatar Matej Kosik2016-10-20
| * | | | | | | | | Merge remote-tracking branch 'github/printcandidates' into v8.6Gravatar Matthieu Sozeau2016-10-20
| |\ \ \ \ \ \ \ \ \
| | * | | | | | | | | Refine printing of pending unification constraintsGravatar Matthieu Sozeau2016-10-20
| |/ / / / / / / / /
| | | | | | * | | | Documenting Hint Resolve -> and <- variants.Gravatar Théo Zimmermann2016-10-19
| * | | | | | | | | Test for variant of #5142 (good error message on pattern-matching failure).Gravatar Hugo Herbelin2016-10-19
| * | | | | | | | | Attempt to improve error rendering in pattern-matching compilation (#5142).Gravatar Hugo Herbelin2016-10-19
* | | | | | | | | | enriching ".gitignore"Gravatar Matej Kosik2016-10-19
| * | | | | | | | | More comments in VM.Gravatar Maxime Dénès2016-10-19
| * | | | | | | | | Error Resiliency: more conservative default (only curly braces)Gravatar Enrico Tassi2016-10-19
| | | | | | * | | | Making the doc of auto hints more precise.Gravatar Théo Zimmermann2016-10-19
* | | | | | | | | | COMMENT: was added to "Nameops.increment_suffix".Gravatar Matej Kosik2016-10-19
* | | | | | | | | | CLEANUP: rename "Nameops.lift_subscript" to "Nameops.increment_subscript".Gravatar Matej Kosik2016-10-19
* | | | | | | | | | Converting certain "order-only" (Makefile) dependencies to regular dependencies.Gravatar Matej Kosik2016-10-19
| | | | * | | | | | Change the order of arguments of fig2dev.Gravatar Théo Zimmermann2016-10-19
| | | |/ / / / / /
| | | | | | | | * [pp] Use more convenient pp API in ssrmatchingGravatar Emilio Jesus Gallego Arias2016-10-18
| | | | | | | | * [pp] Try to properly tag error messages in cError.Gravatar Emilio Jesus Gallego Arias2016-10-18
| | | | | | | | * [pp] Add tagging function to all low-level printing calls.Gravatar Emilio Jesus Gallego Arias2016-10-18
* | | | | | | | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-18
|\ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|/ | |/| | | | | | |
| | | | | | * | | Extending the doc with a general summary of auto variants.Gravatar Théo Zimmermann2016-10-18
| | | | | | * | | Document info_auto.Gravatar Théo Zimmermann2016-10-18
| | * | | | | | | [stm] Fix record field name clash.Gravatar Emilio Jesus Gallego Arias2016-10-18
| |/ / / / / / /
| | | | | * / / Improve the documentation of eauto.Gravatar Théo Zimmermann2016-10-18
| | | | |/ / / | | | |/| | |
| * | | | | | Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-10-18
| |\ \ \ \ \ \ | | | |/ / / / | | |/| | | |
| | * | | | | Removing output test for module qualification.Gravatar Pierre-Marie Pédrot2016-10-18
| * | | | | | Quick fix to unification regression #4955.Gravatar Hugo Herbelin2016-10-17
| * | | | | | Extra warning about unicode character of unknown status following an ident.Gravatar Hugo Herbelin2016-10-17
| * | | | | | Fixing a few other inconsistencies with notations.Gravatar Hugo Herbelin2016-10-17
| * | | | | | Stopping warning on unrecognized unicode character in notation (fixing #5136).Gravatar Hugo Herbelin2016-10-17