Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | | | Removing some return type compatibility layers in Termops. | 2017-02-14 | ||
* | | | | Reductionops now return EConstrs. | 2017-02-14 | ||
* | | | | Proofview.Goal primitive now return EConstrs. | 2017-02-14 | ||
* | | | | Eliminating parts of the right-hand side compatibility layer | 2017-02-14 | ||
* | | | | Class_tactics API using EConstr. | 2017-02-14 | ||
* | | | | Hints API using EConstr. | 2017-02-14 | ||
* | | | | Equality API using EConstr. | 2017-02-14 | ||
* | | | | Tactics API using EConstr. | 2017-02-14 | ||
* | | | | Clenv API using EConstr. | 2017-02-14 | ||
* | | | | Tacmach API using EConstr. | 2017-02-14 | ||
* | | | | Refine API using EConstr. | 2017-02-14 | ||
* | | | | Goal API using EConstr. | 2017-02-14 | ||
* | | | | Pretyping API using EConstr. | 2017-02-14 | ||
* | | | | Typeclasses API using EConstr. | 2017-02-14 | ||
* | | | | Constr_matching API using EConstr. | 2017-02-14 | ||
* | | | | Evarconv API using EConstr. | 2017-02-14 | ||
* | | | | Retyping API using EConstr. | 2017-02-14 | ||
* | | | | Termops API using EConstr. | 2017-02-14 | ||
| * | | | Merge remote-tracking branch 'github/pr/172' into trunk | 2016-12-19 | ||
| |\ \ \ | ||||
| * \ \ \ | Merge branch 'v8.6' | 2016-12-07 | ||
| |\ \ \ \ | | | |/ / | | |/| | | ||||
| | * | | | Fix shelving order in typeclasses eauto. | 2016-11-30 | ||
| | * | | | Fix typeclasses eauto shelving. | 2016-11-30 | ||
| * | | | | Merge branch 'v8.6' | 2016-11-18 | ||
|/| | | | | |/ / / | ||||
| * | | | Minor debug printing bug, | 2016-11-16 | ||
| * | | | Revert more of a477dc for good measure | 2016-11-16 | ||
| * | | | Revert part of a477dc, disallow_shelved | 2016-11-15 | ||
| * | | | Merge remote-tracking branch 'github/pr/339' into v8.6 | 2016-11-07 | ||
| |\ \ \ | ||||
| * \ \ \ | Merge commit 'e6edb33' into v8.6 | 2016-11-07 | ||
| |\ \ \ \ | ||||
| * \ \ \ \ | Merge remote-tracking branch 'github/pr/335' into v8.6 | 2016-11-04 | ||
| |\ \ \ \ \ | ||||
| | | | * | | | Rework search_strategy option handling | 2016-11-03 | ||
| | | | * | | | Internal API change to typeclasses eauto. | 2016-11-03 | ||
| | | | * | | | Do not shelve non-class subgoals but fail, it should | 2016-11-03 | ||
| | | | * | | | typeclasses eauto Implem/doc of shelving strategy | 2016-11-03 | ||
| | | | * | | | Fix [typeclasses eauto with] and nopattern hints | 2016-11-03 | ||
| | | | * | | | Fix handling of only_classes at toplevel | 2016-11-03 | ||
| | | | * | | | Handle Unique Solutions flag. | 2016-11-03 | ||
| | | | * | | | TCS: error handling and debug printing in resolution | 2016-11-03 | ||
| | | | * | | | Fix bugs in Filtered Unification and cleanup code | 2016-11-03 | ||
| | | | * | | | Fix Typeclasses eauto := bfs. | 2016-11-03 | ||
| | | | * | | | Lets Hints/Instances take an optional pattern | 2016-11-03 | ||
| | |_|/ / / | |/| | | | | ||||
* | | | | | | Merge branch 'v8.6' | 2016-10-29 | ||
|\| | | | | | ||||
| | * | | | | Fix printing of typeclasses eauto debug wrt intro. | 2016-10-24 | ||
| | | * | | | Renamings to avoid confusion deprecating old names | 2016-10-22 | ||
| | |/ / / | ||||
| * / / / | sections/hints: prevent Not_found in get_type_of | 2016-10-21 | ||
| |/ / / | ||||
* | | | | Merge branch 'v8.6' | 2016-10-05 | ||
|\| | | | ||||
| * | | | Clean up type classes flags and update compat file. | 2016-10-05 | ||
| | | * | Fix bug 4969, autoapply was not tagging shelved subgoals correctly as unresol... | 2016-09-29 | ||
| | |/ | |/| | ||||
* | | | Merge branch 'v8.6' | 2016-09-02 | ||
|\| | | ||||
| * | | Fix bug #4893: not_evar: unexpected failure in 8.5pl1. | 2016-08-30 | ||
* | | | CLEANUP: using |> operator more consistently | 2016-08-30 |