Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | | | | | | | | Merge PR#825: Ignore all PDF files. | 2017-06-26 | ||
|\ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ | Merge PR#828: closing bug #4250 | 2017-06-26 | ||
|\ \ \ \ \ \ \ \ \ \ | | |_|_|/ / / / / / | |/| | | | | | | | | ||||
| | | | | * | | | | | Bump version number to 8.6.1. | 2017-06-26 | ||
| | | | | * | | | | | Fix libpcre dependency issue under Windows. | 2017-06-26 | ||
| | | | | * | | | | | Fix proxy setting issue | 2017-06-26 | ||
| | | | | * | | | | | Fixes bug #5561,#5562 in Windows build system | 2017-06-26 | ||
| | | | | * | | | | | Merge PR#756: Fix Bug #5574, document function scope | 2017-06-26 | ||
| | | | | |\ \ \ \ \ | ||||
* | | | | | \ \ \ \ \ | Merge PR#824: Fix printers | 2017-06-23 | ||
|\ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR#821: [vernac] Remove stale bool parameter from `VernacStartTheoremPr... | 2017-06-23 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#820: [ide] Correct more merging errors. | 2017-06-23 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#815: STM: par: report no error to UIs in non-solve mode | 2017-06-23 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#794: Cleanup of ltac cmxs | 2017-06-23 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#762: [vernac] Fix unneeded mutual references in Obligations | 2017-06-23 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | | | | | | * \ \ \ \ \ | Merge PR#813: Fix plugin warnings | 2017-06-23 | ||
| | | | | | | | | | | |\ \ \ \ \ \ | ||||
| | | | | | | | | | | | | * | | | | | Fix Bug #5574, document function scope | 2017-06-23 | ||
| | | | | | | | | | | | | | |/ / / | | | | | | | | | | | | | |/| | | | ||||
| | | | | | | * | | | | | / | | | | closing bug #4250 | 2017-06-23 | ||
| |_|_|_|_|_|/ / / / / / / / / / |/| | | | | | | | | | | | | | | | ||||
| | | | | | | | | | * | | | | | | [configure] 'ocaml' is more precise than OCaml as we mean the binary. | 2017-06-23 | ||
| | | | | | | | | | * | | | | | | ocaml -> OCaml in configure.ml. | 2017-06-23 | ||
| | | | | | | | | | * | | | | | | Merge PR#729: Fixing an inconsistency between configure and configure.ml | 2017-06-23 | ||
| | | | | | | | | | |\ \ \ \ \ \ | ||||
| | | | | | | | | | * \ \ \ \ \ \ | Merge PR#740: Refactor documentation of records. | 2017-06-23 | ||
| | | | | | | | | | |\ \ \ \ \ \ \ | ||||
| | | | | | | | | | | | | * | | | | | Add tests for handling of warnings | 2017-06-23 | ||
| | | | | | | | | | | | | * | | | | | Fix bug 5392: Warnings defined in plugins are considered unknown | 2017-06-23 | ||
| | | | | | | | | | | |_|/ / / / / | | | | | | | | | | |/| | | | | | | ||||
| | | | | | | | | | | | | | | | * | In enter_one, not having exactly one goal is a fatal error of the monad. | 2017-06-23 | ||
| | | | | | | | * | | | | | | | | | Add test-suite file for funind, extraction with compat 8.6 | 2017-06-22 | ||
| | | | | | | | * | | | | | | | | | Put plugin exports in the right compatibility file | 2017-06-22 | ||
| |_|_|_|_|_|_|/ / / / / / / / / |/| | | | | | | | | | | | | | | | ||||
| | | | | | | * | | | | | | | | | Ignore all PDF files. | 2017-06-22 | ||
| | | | | | | | |_|_|_|_|_|_|/ | | | | | | | |/| | | | | | | | ||||
* | | | | | | | | | | | | | | | Merge PR#817: [stm] Fix route setting on VtQuery | 2017-06-22 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|/ / / / / / / / |/| | | | | | | | | | | | | | | ||||
| | | | | | | * | | | | | | | | Add missing definition and fix #use include;; as suggested by @amintimany. | 2017-06-22 | ||
| |_|_|_|_|_|/ / / / / / / / |/| | | | | | | | | | | | | | ||||
| | | | | | * | | | | | | | | [vernac] Remove stale bool parameter from `VernacStartTheoremProof` | 2017-06-21 | ||
| |_|_|_|_|/ / / / / / / / |/| | | | | | | | | | | | | ||||
| | | | | * | | | | | | | | [ide] Correct more merging errors. | 2017-06-21 | ||
| |_|_|_|/ / / / / / / / |/| | | | | | | | | | | | ||||
| | | | | * | | | | | | | Should fix a false negative reported by deps-order.sh. | 2017-06-21 | ||
| |_|_|_|/ / / / / / / |/| | | | | | | | | | | ||||
| * | | | | | | | | | | [stm] Fix route setting on VtQuery | 2017-06-20 | ||
|/ / / / / / / / / / | ||||
| | | * | | | | | | | STM: par: report no error to UIs in non-solve mode | 2017-06-20 | ||
| | | | | | | | * | | Default colors for CoqIDE are actually applied. | 2017-06-20 | ||
| | | | | |_|_|/ / | | | | |/| | | | | ||||
| * | | | | | | | | [vernac] Remove forward hooks from Obligations. | 2017-06-20 | ||
| * | | | | | | | | [vernac] Remove unused hooks. | 2017-06-20 | ||
|/ / / / / / / / | ||||
| | | * | | | | | Merge PR#812: Use more neutral wording instead of mentioning CoqIDE | 2017-06-20 | ||
| | | |\ \ \ \ \ | ||||
* | | | \ \ \ \ \ | Merge PR#742: Fix `make TIMED=1` garbage | 2017-06-20 | ||
|\ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ | Merge PR#774: [ide] Add route_id parameter to query call. | 2017-06-20 | ||
|\ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ | Merge PR#793: Fixing restriction of existential variables regarding evar_store | 2017-06-20 | ||
|\ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR#807: romega: fix a slowdown | 2017-06-20 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#803: Clean ssr | 2017-06-20 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#790: Direct link to Travis branch builds. | 2017-06-20 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#779: Each user overlay goes into its own file. | 2017-06-20 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#787: [typeclasses eauto] Fix bug #3943: non-termination in topological | 2017-06-19 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#777: Improving documentation of tactic "move" (report #4561) | 2017-06-19 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#760: Fixing base_include after loc is an option + a better test that... | 2017-06-19 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR#795: [ide] Better exn printing. [fixes BZ#5524] | 2017-06-19 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | | | | | | | | | * \ \ \ \ \ | Merge PR#792: Fix ci-fiat-crypto to have a proper lite target | 2017-06-19 | ||
| | | | | | | | | | | | | | |\ \ \ \ \ \ | ||||
| | | | | | | | | | | | | | | | * | | | | | Change CoqIDE-specific to neutral wording | 2017-06-19 | ||
| | | | | | | | | | | | | | | |/ / / / / | | | | | | | | | | | | | | |/| | | | | |