Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | | | | | | | | | | Fix git recognition when in worktrees. | 2016-10-12 | ||
| * | | | | | | | | | | | Fix bug #4958: [debug auto] should specify hint databases. | 2016-10-12 | ||
| * | | | | | | | | | | | Shorter message for "Test Asymmetric Patterns". | 2016-10-12 | ||
| | | * | | | | | | | | | Merge remote-tracking branch 'git/bug5123' into v8.5 | 2016-10-12 | ||
| | |/| | | | | | | | | | ||||
| * | | | | | | | | | | | Fixing a few confusions on the name of the beautify flag. | 2016-10-12 | ||
| | | * | | | | | | | | | Fix test-suite file 5123 to fail in case of regression | 2016-10-11 | ||
| | * | | | | | | | | | | Merge remote-tracking branch 'github/bug4863' into v8.5 | 2016-10-11 | ||
| | |\ \ \ \ \ \ \ \ \ \ | ||||
| | | | * | | | | | | | | | Fix bug #5123: mark all shelved evars unresolvable | 2016-10-11 | ||
| | | |/ / / / / / / / / | | |/| | | | | | | | | | ||||
| * | | | | | | | | | | | Reverting generalization and cleaning of the return clause inference in v8.6. | 2016-10-11 | ||
| | | * | | | | | | | | | Fix for bug #4863, update the Proofview's env with | 2016-10-11 | ||
| | |/ / / / / / / / / | ||||
| * | | | | | | | | | | Fixing #5133 (error reporting delayed). | 2016-10-10 | ||
| | * | | | | | | | | | Add test file for #4416. | 2016-10-10 | ||
| | * | | | | | | | | | Fix #4416: - Incorrect "Error: Incorrect number of goals" | 2016-10-10 | ||
| * | | | | | | | | | | Merge branch 'v8.5' into v8.6 | 2016-10-09 | ||
| |\| | | | | | | | | | ||||
| | * | | | | | | | | | A tentative fix for #5102 (bullets parsing broken by calls to parse_entry). | 2016-10-09 | ||
| * | | | | | | | | | | Moving Pp.comments to CLexer so that Pp is purer (no more side-effect | 2016-10-09 | ||
| * | | | | | | | | | | Attaching all extra imperative components of the lexer/parser state to | 2016-10-09 | ||
| * | | | | | | | | | | Fixing beautification to file. | 2016-10-09 | ||
* | | | | | | | | | | | Merge branch 'v8.6' | 2016-10-08 | ||
|\| | | | | | | | | | | ||||
| * | | | | | | | | | | Merge branch 'v8.5' into v8.6 | 2016-10-08 | ||
| |\| | | | | | | | | | ||||
| * | | | | | | | | | | Adding debugging printer for Genarg.ArgT.t. | 2016-10-08 | ||
| * | | | | | | | | | | Report about changes of semantics of auto as an ltac argument (see #4966). | 2016-10-08 | ||
| * | | | | | | | | | | Fix bug #5066: Anomaly: cannot find Coq.Logic.JMeq.JMeq. | 2016-10-08 | ||
| * | | | | | | | | | | Fix bug #5098: Symmetry broken in HoTT. | 2016-10-08 | ||
| * | | | | | | | | | | Fix bug #4464: "Anomaly: variable H' unbound. Please report.". | 2016-10-07 | ||
| * | | | | | | | | | | Fix bug #5125: Bad error message when attempting to use where with Class. | 2016-10-07 | ||
| * | | | | | | | | | | Do not add "Append" as a lexer keyword. | 2016-10-06 | ||
| | | | | | * | | | | | Revert "Make the pretty printer resilient to incomplete nametab (progress on ... | 2016-10-06 | ||
| | | |_|_|/ / / / / | | |/| | | | | | | | ||||
| * | | | | | | | | | Disable compatibility notations warnings. | 2016-10-06 | ||
| | * | | | | | | | | evarconv.ml: Fix bug #4529, primproj unfolding | 2016-10-06 | ||
| * | | | | | | | | | Removing a slow access to a named environment. | 2016-10-06 | ||
| | * | | | | | | | | w_merge: Add a comment about the (List.rev evars) | 2016-10-06 | ||
| * | | | | | | | | | Remove the -no-compat-notations flag. | 2016-10-06 | ||
| * | | | | | | | | | Remove the Set Verbose Compat option and turn the warning on by default. | 2016-10-06 | ||
| | * | | | | | | | | unification.ml: fix for bug #4763, unif regression | 2016-10-06 | ||
| * | | | | | | | | | Fixing unexpected "noise" introduced in commit 24d5448c. | 2016-10-06 | ||
* | | | | | | | | | | Merge branch 'v8.6' | 2016-10-05 | ||
|\| | | | | | | | | | ||||
| * | | | | | | | | | Merge branch 'v8.5' into v8.6 | 2016-10-05 | ||
| |\| | | | | | | | | ||||
* | | | | | | | | | | Fix loading of debug printers. | 2016-10-05 | ||
| * | | | | | | | | | Fix a bug of Mltop.declare_cache_object. | 2016-10-05 | ||
| * | | | | | | | | | Clean up type classes flags and update compat file. | 2016-10-05 | ||
| * | | | | | | | | | Fixing a beautifier bug pointed out by Emilio. | 2016-10-05 | ||
| * | | | | | | | | | Fix incorrect token description for bullets. | 2016-10-05 | ||
| * | | | | | | | | | Revert "Move bullet detection from lexer to parser (bug #5102)." | 2016-10-05 | ||
| * | | | | | | | | | Fix #5048 - Casts in pattern raise an anomaly in Constrintern. | 2016-10-04 | ||
| * | | | | | | | | | Quick fix to #4595 (making notations containing "ltac:" unused for printing). | 2016-10-04 | ||
| * | | | | | | | | | Changing the separator for appended string options to comma. | 2016-10-04 | ||
| * | | | | | | | | | Merge remote-tracking branch 'github/pr/305' into v8.6 | 2016-10-04 | ||
| |\ \ \ \ \ \ \ \ \ | ||||
| | | * | | | | | | | | Fixing #4970 (confusion between special "{" and non special "{{" in notations). | 2016-10-03 | ||
| | | | * | | | | | | | Remove if_then_else. Use tryif instead. | 2016-10-03 | ||
| | | |/ / / / / / / |