| Age | Commit message (Expand) | Author |
|---|
| 2017-06-02 | Merge PR#647: [emacs] [toplevel] Make emacs flag local to the toplevel. | Maxime Dénès |
| 2017-06-02 | Merge PR#499: Drop all "theories/*/vo.itarget" files and compute the correspo... | Maxime Dénès |
| 2017-06-02 | Merge PR#515: extract "plugins/micromega/micromega.ml{,i}" files from "plugin... | Maxime Dénès |
| 2017-06-02 | Merge PR#711: [gitlab] Artifact test suite logs on failure. | Maxime Dénès |
| 2017-06-01 | drop vo.itarget files and compute the corresponding the corresponding values ... | Matej Kosik |
| 2017-06-01 | Merge PR#449: make specialize smarter (bug 5370). | Maxime Dénès |
| 2017-06-01 | Merge PR#670: Postponing of universe constraints unification in term equality. | Maxime Dénès |
| 2017-06-01 | [emacs] [toplevel] Make emacs flag local to the toplevel. | Emilio Jesus Gallego Arias |
| 2017-06-01 | Merge PR#696: Trunk+cleanup constr of global | Maxime Dénès |
| 2017-06-01 | Remove a post merge warning. | Maxime Dénès |
| 2017-06-01 | Merge PR#561: Improving the Name API | Maxime Dénès |
| 2017-06-01 | Merge PR#694: Fixing #5523 (missing support for complex constructions in recu... | Maxime Dénès |
| 2017-06-01 | Break circular dependency in MExtraction | Jason Gross |
| 2017-06-01 | a solution that works also with make 3.81 | Matej Kosik |
| 2017-06-01 | extract "plugins/micromega/micromega.ml{,i}" files from "plugins/micromega/ME... | Matej Kosik |
| 2017-06-01 | Merge PR#704: Fix empty parentheses display in test-suite | Maxime Dénès |
| 2017-05-31 | Merge PR#701: [readlink -f] doesn't work on OSX | Maxime Dénès |
| 2017-05-31 | Merge PR#248: Adding eassert, eset, epose, etc. | Maxime Dénès |
| 2017-05-31 | Makefile.build: test-suite all = run + report, so don't report again | Gaëtan Gilbert |
| 2017-05-31 | [travis] print failing test suite logs on failure | Gaëtan Gilbert |
| 2017-05-31 | Tests for new specialize feature + CHANGES. | Pierre Courtieu |
| 2017-05-31 | Documenting the new behaviour of specialize. | Pierre Courtieu |
| 2017-05-31 | Make specialize smarter. | Pierre Courtieu |
| 2017-05-31 | Merge PR#700: make sure that "ocamllibdep" properly recognizes Ocaml that are... | Maxime Dénès |
| 2017-05-31 | Creating a module Nameops.Name extending module Names.Name. | Hugo Herbelin |
| 2017-05-31 | Renaming interp_rawcontext_evars using a more "standard" name. | Hugo Herbelin |
| 2017-05-31 | Fixing #5523 (missing support for complex constructions in recursive notations). | Hugo Herbelin |
| 2017-05-31 | Fixing a too lax constraint for finding recursive binder part of a notation. | Hugo Herbelin |
| 2017-05-30 | Merge PR#706: Add some test-suite generated files to .gitignore | Maxime Dénès |
| 2017-05-30 | [gitlab] Artifact test suite logs on failure. | Gaëtan Gilbert |
| 2017-05-30 | Add some test-suite generated files to .gitignore | Jason Gross |
| 2017-05-30 | Fix empty parentheses display in test-suite | Jason Gross |
| 2017-05-30 | [readlink -f] doesn't work on OSX | Gaëtan Gilbert |
| 2017-05-30 | Support for using type information to infer more precise evar sources. | Hugo Herbelin |
| 2017-05-30 | Documentation for eassert, eenough, epose proof, eset, eremember, epose. | Hugo Herbelin |
| 2017-05-30 | Few tests for e-variants of assert, set, remember. | Hugo Herbelin |
| 2017-05-30 | Adding "epose", "eset", "eremember" which allow to set terms with | Hugo Herbelin |
| 2017-05-30 | Adding "eassert", "eenough", "epose proof", which allow to state | Hugo Herbelin |
| 2017-05-30 | make sure that "ocamllibdep" properly recognizes Ocaml modules that are all u... | Matej Košík |
| 2017-05-30 | Merge PR#356: Making management of installation directories more structured, ... | Maxime Dénès |
| 2017-05-30 | Merge PR#692: Fail on deprecated warning even for Ocaml > 4.02.3 | Maxime Dénès |
| 2017-05-29 | Merge PR#687: Gitlab CI | Maxime Dénès |
| 2017-05-29 | Pretyping cleanup: remove constr_of_global calls | Matthieu Sozeau |
| 2017-05-29 | tactics cleanup: remove constr_of_global calls | Matthieu Sozeau |
| 2017-05-29 | Merge PR#690: [stm] Uniformize `Sideff / Sideff. | Maxime Dénès |
| 2017-05-29 | Ltac cleanup: no more constr_of_global calls | Matthieu Sozeau |
| 2017-05-29 | Equality cleanup: remove constr_of_global | Matthieu Sozeau |
| 2017-05-29 | Command.ml cleanup: remove constr_of_global calls | Matthieu Sozeau |
| 2017-05-29 | Merge PR#555: Missing optimization when Kernel Term Sharing is disabled. | Maxime Dénès |
| 2017-05-29 | Configuration with -local definitively seen as an installation layout like ot... | Hugo Herbelin |
