| Age | Commit message (Expand) | Author |
|---|
| 2017-12-10 | [make] remove unneeded generated file "tolink.ml" | Emilio Jesus Gallego Arias |
| 2017-12-10 | [build] Remove coqmktop in favor of ocamlfind. | Emilio Jesus Gallego Arias |
| 2017-12-09 | [lib] Rename Profile to CProfile | Emilio Jesus Gallego Arias |
| 2017-12-08 | Revert "CI: poc Circleci configuration" | Arnaud Spiwack |
| 2017-12-08 | CI: poc Circleci configuration | Arnaud Spiwack |
| 2017-12-08 | Merge PR #6334: Remove dead code in Reductionops | Maxime Dénès |
| 2017-12-08 | Merge PR #6158: Allows a level in the raw and glob printers | Maxime Dénès |
| 2017-12-08 | Merge PR #6224: Add alienclean target to remove compilation products with no ... | Maxime Dénès |
| 2017-12-07 | Merge PR #6267: Fix PR merge script. | Maxime Dénès |
| 2017-12-07 | Merge PR #6290: Rename update to set, Fixes #6196 | Maxime Dénès |
| 2017-12-07 | Merge PR #873: New strategy based on open scopes for deciding which notation ... | Maxime Dénès |
| 2017-12-07 | Merge PR #6142: Single quotes break on Windows | Maxime Dénès |
| 2017-12-07 | Merge PR #6277: Qualified import in coqchk | Maxime Dénès |
| 2017-12-07 | Merge PR #6322: Fix #6286 (non stability of micromega csdp cache rebuilding) | Maxime Dénès |
| 2017-12-07 | Merge PR #6321: Use preference for ocamlfind in configure | Maxime Dénès |
| 2017-12-07 | Merge PR #6316: Correct typo | Maxime Dénès |
| 2017-12-07 | Merge PR #6309: [default.nix] needs ncurses for the test-suite | Maxime Dénès |
| 2017-12-07 | Merge PR #6303: Remove redundant Zcase from the checker. | Maxime Dénès |
| 2017-12-06 | Getting rid of the Update constructor in Reductionops. | Pierre-Marie Pédrot |
| 2017-12-06 | Getting rid of the Shift constructor in Reductionops. | Pierre-Marie Pédrot |
| 2017-12-05 | Replacing Hashtbl.add by Hashtbl.replace in micromega cache building. | Hugo Herbelin |
| 2017-12-05 | Rename update to set, fixes #6196 | Paul Steckler |
| 2017-12-05 | use preference for ocamlfind | Paul Steckler |
| 2017-12-05 | Correct typo | Martin Vassor |
| 2017-12-05 | [default.nix] explain ncurses dependency | Vincent Laporte |
| 2017-12-05 | Merge PR #890: Global universe declarations | Maxime Dénès |
| 2017-12-05 | Merge PR #6266: Safe unmarshalling in the checker | Maxime Dénès |
| 2017-12-05 | Merge PR #6301: [vernac] Couple of tweaks missing from previous PRs. | Maxime Dénès |
| 2017-12-05 | Merge PR #6306: Adding a test for #6304 (a bug with "fix" in notations). | Maxime Dénès |
| 2017-12-05 | Merge PR #6300: Clarify operation of sequences, fixes #6095 | Maxime Dénès |
| 2017-12-05 | Merge PR #6220: Use OCaml criteria for infix ops in extraction, #6212 | Maxime Dénès |
| 2017-12-05 | Merge PR #6293: Check for Num lib if OCaml >= 4.06, fixes #6162 | Maxime Dénès |
| 2017-12-05 | Merge PR #6302: Uninstall doc dir, not dev (which is not installed), fixes #6007 | Maxime Dénès |
| 2017-12-05 | Merge PR #6287: Add merlin to default.nix | Maxime Dénès |
| 2017-12-05 | Merge PR #6210: More complete not-fully-applied error messages, #6145 | Maxime Dénès |
| 2017-12-04 | [default.nix] needs ncurses for the test-suite | Vincent Laporte |
| 2017-12-04 | [vernac] Couple of tweaks missing from previous PRs. | Emilio Jesus Gallego Arias |
| 2017-12-03 | Adding a test for #6304 (bug with fix in notations). | Hugo Herbelin |
| 2017-12-02 | Remove redundant Zcase from the checker. | Pierre-Marie Pédrot |
| 2017-12-01 | uninstall doc dir, not dev (which is not installed), #6007 | Paul Steckler |
| 2017-12-01 | check for Num lib if OCaml >= 4.06, #6162 | Paul Steckler |
| 2017-12-01 | clarify operation of sequences, #6095 | Paul Steckler |
| 2017-12-01 | Update CHANGES | Matthieu Sozeau |
| 2017-12-01 | Cleanup API for registering universe binders. | Matthieu Sozeau |
| 2017-12-01 | [refman] Expand a little on global universes. | Matthieu Sozeau |
| 2017-12-01 | Tests for global universe declarations | Matthieu Sozeau |
| 2017-12-01 | Proper nametab handling of global universe names | Matthieu Sozeau |
| 2017-12-01 | Documenting the -Q flag of coqchk. | Pierre-Marie Pédrot |
| 2017-12-01 | Merge PR #736: [ci] Test coqchk on the CompCert target. | Maxime Dénès |
| 2017-12-01 | Merge PR #6256: CI: better ocaml warning checks | Maxime Dénès |
