Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Hints API using EConstr. | 2017-02-14 | |
* | Leminv API using EConstr. | 2017-02-14 | |
* | Equality API using EConstr. | 2017-02-14 | |
* | Tactics API using EConstr. | 2017-02-14 | |
* | Hipattern API using EConstr. | 2017-02-14 | |
* | Tacmach API using EConstr. | 2017-02-14 | |
* | Refine API using EConstr. | 2017-02-14 | |
* | Making judgment type generic over the type of inner constrs. | 2017-02-14 | |
* | Unification API using EConstr. | 2017-02-14 | |
* | Pretyping API using EConstr. | 2017-02-14 | |
* | Cases API using EConstr. | 2017-02-14 | |
* | Coercion API using EConstr. | 2017-02-14 | |
* | Classops API using EConstr. | 2017-02-14 | |
* | Typeclasses API using EConstr. | 2017-02-14 | |
* | Tacred API using EConstr. | 2017-02-14 | |
* | Constr_matching API using EConstr. | 2017-02-14 | |
* | Typing API using EConstr. | 2017-02-14 | |
* | Evarconv API using EConstr. | 2017-02-14 | |
* | Evarsolve API using EConstr. | 2017-02-14 | |
* | Evardefine API using EConstr. | 2017-02-14 | |
* | Find_subterm API using EConstr. | 2017-02-14 | |
* | Retyping API using EConstr. | 2017-02-14 | |
* | Reductionops API using EConstr. | 2017-02-14 | |
* | Termops API using EConstr. | 2017-02-14 | |
* | Moving unused code out of the kernel into Termops. | 2016-10-31 | |
* | Merge branch 'v8.6' | 2016-10-29 | |
|\ | |||
| * | Removing dead code. | 2016-10-29 | |
| * | Merge remote-tracking branch 'github/pr/319' into v8.6 | 2016-10-28 | |
| |\ | |||
| * \ | Merge remote-tracking branch 'github/pr/337' into v8.6 | 2016-10-28 | |
| |\ \ | |||
| | * | | Complete overhaul of the Arguments vernacular. | 2016-10-27 | |
| * | | | Merge branch 'v8.5' into v8.6 | 2016-10-26 | |
| |\ \ \ | |||
* | | | | | Merge branch 'v8.6' | 2016-10-24 | |
|\| | | | | |||
| | * | | | Fix a bug in error printing of unif constraints | 2016-10-22 | |
| * | | | | [search] Don't build intermediate lists in search. | 2016-10-20 | |
| | | | * | [pp] Add tagging function to all low-level printing calls. | 2016-10-18 | |
| | |_|/ | |/| | | |||
* | | | | Merge branch 'v8.6' | 2016-10-18 | |
|\| | | | |||
| * | | | [toplevel] Remove undocumented "just_parsing" flag. | 2016-10-17 | |
| * | | | [toplevel] Remove duplicate beautify flags. | 2016-10-17 | |
| * | | | Vernac.ml: inlining read_vernac_file within load_vernac. | 2016-10-17 | |
| * | | | Grouping checks about commands together. | 2016-10-17 | |
| * | | | Vernac.ml: parenthesizing a side-effect. | 2016-10-17 | |
| * | | | Factorizing two instances of load_vernac. | 2016-10-17 | |
| * | | | Passing chan_beautify functionally rather than by side-effect. | 2016-10-17 | |
| * | | | Applying Emilio's suggestion to simplify type of eval_expr. | 2016-10-17 | |
| * | | | More on making the lexer more functional (continuing b8ae2de5 and | 2016-10-17 | |
| * | | | Removing export of location_table outside of cLexer. | 2016-10-17 | |
* | | | | Merge branch 'v8.6' | 2016-10-17 | |
|\| | | | |||
| * | | | Fix bug #5141: Bogus message "Error: Cannot infer type of pattern-matching". | 2016-10-16 | |
| | |/ | |/| | |||
| * | | Merge PR #224 into v8.6 | 2016-10-12 | |
| |\ \ | |||
* | | | | Merge branch 'v8.6' | 2016-10-12 | |
|\| | | |