aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
| * | | | | | 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
| * | | | | | [toplevel] Remove undocumented "just_parsing" flag.Gravatar Emilio Jesus Gallego Arias2016-10-17
| * | | | | | [toplevel] Remove duplicate beautify flags.Gravatar Emilio Jesus Gallego Arias2016-10-17
| * | | | | | Vernac.ml: inlining read_vernac_file within load_vernac.Gravatar Hugo Herbelin2016-10-17
| * | | | | | Grouping checks about commands together.Gravatar Hugo Herbelin2016-10-17
| * | | | | | Vernac.ml: parenthesizing a side-effect.Gravatar Hugo Herbelin2016-10-17
| * | | | | | Factorizing two instances of load_vernac.Gravatar Hugo Herbelin2016-10-17
| * | | | | | Passing chan_beautify functionally rather than by side-effect.Gravatar Hugo Herbelin2016-10-17
| * | | | | | Applying Emilio's suggestion to simplify type of eval_expr.Gravatar Hugo Herbelin2016-10-17
| * | | | | | More on making the lexer more functional (continuing b8ae2de5 andGravatar Hugo Herbelin2016-10-17
| * | | | | | Removing export of location_table outside of cLexer.Gravatar Hugo Herbelin2016-10-17
| * | | | | | Fix compilation with camlp4 broken in 8a8caba3.Gravatar Hugo Herbelin2016-10-17
| | * | | | | Fixing to #3209 (Not_found due to an occur-check cycle).Gravatar Hugo Herbelin2016-10-17
| | * | | | | Fixing a missing constraint in consider_remaining_unif_constraints.Gravatar Hugo Herbelin2016-10-17
* | | | | | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-17
|\| | | | | |
| * | | | | | Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-10-17
| |\| | | | |
| * | | | | | Fix output test for module qualification.Gravatar Pierre-Marie Pédrot2016-10-17
| * | | | | | Fix previous commit.Gravatar Pierre-Marie Pédrot2016-10-17
| * | | | | | Merge PR #300 into v8.6Gravatar Pierre-Marie Pédrot2016-10-17
| |\ \ \ \ \ \
| * | | | | | | Example illustrating non-local inference of the default type of impossible br...Gravatar Hugo Herbelin2016-10-17
| | | * | | | | Merge PR #310 into v8.5Gravatar Pierre-Marie Pédrot2016-10-17
| | | |\ \ \ \ \
| * | | \ \ \ \ \ Merge PR #310 into v8.6Gravatar Pierre-Marie Pédrot2016-10-17
| |\ \ \ \ \ \ \ \ | | | |_|/ / / / / | | |/| | | | | |
| | * | | | | | | Test for bug #4874.Gravatar Pierre-Marie Pédrot2016-10-17
| * | | | | | | | Fix bug #5023: JSON extraction doesn't generate "for xxx".Gravatar Pierre-Marie Pédrot2016-10-17
| * | | | | | | | Fix bug #5141: Bogus message "Error: Cannot infer type of pattern-matching".Gravatar Pierre-Marie Pédrot2016-10-16
| * | | | | | | | Fix bug #5145: Anomaly: index to an anonymous variable.Gravatar Pierre-Marie Pédrot2016-10-15
| | |_|_|_|_|/ / | |/| | | | | |
| | | | * | | | Still a problem with debug auto printing.Gravatar Hugo Herbelin2016-10-15
| | | | * | | | One more little bug in the output of "debug auto".Gravatar Hugo Herbelin2016-10-15
| * | | | | | | Fix bug #5139: Anomalies should not be caught by || / try.Gravatar Pierre-Marie Pédrot2016-10-14
| | | | * | | | Fixing printing of info_auto broken since 0091c528 (2014).Gravatar Hugo Herbelin2016-10-14
| * | | | | | | Fixing English typography for colon.Gravatar Hugo Herbelin2016-10-14
| * | | | | | | Using "simple apply" and "simple eapply" in the trace of auto.Gravatar Hugo Herbelin2016-10-14
| * | | | | | | Completing reverting generalization and cleaning of the return clause inference.Gravatar Hugo Herbelin2016-10-13
| * | | | | | | Remove dead code in Environ.Gravatar Pierre-Marie Pédrot2016-10-12
| * | | | | | | Merge PR #224 into v8.6Gravatar Pierre-Marie Pédrot2016-10-12
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge PR #289 into v8.6.Gravatar Pierre-Marie Pédrot2016-10-12
| |\ \ \ \ \ \ \ \
* | | | | | | | | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-12
|\| | | | | | | | |
| * | | | | | | | | Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-10-12
| |\ \ \ \ \ \ \ \ \ | | | |_|_|_|/ / / / | | |/| | | | | | |
| * | | | | | | | | Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-10-12
| |\ \ \ \ \ \ \ \ \
* | | | | | | | | | | Allocating a section in CHANGES for changes specific to 8.7.Gravatar Hugo Herbelin2016-10-12
| * | | | | | | | | | Tentatively preparing to add changes specific to v8.7 (see PR #275).Gravatar Hugo Herbelin2016-10-12
| * | | | | | | | | | Little addition to 6eede071 for consistency of style in OrdersFacts.v.Gravatar Hugo Herbelin2016-10-12
| | | * | | | | | | | Fixing a collision about the meta-variable ".." in recursive notations.Gravatar Hugo Herbelin2016-10-12
| | | * | | | | | | | Merge remote-tracking branch 'github/pr/286' into v8.5Gravatar Maxime Dénès2016-10-12
| | | |\ \ \ \ \ \ \ \
| * | | | | | | | | | | Fix bug #5116: [Print Ltac] should be able to print strategies.Gravatar Pierre-Marie Pédrot2016-10-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 04:35:27 +0000