Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #1119: Fixing bug BZ#5769 (generating a name "_" out of a type "_som... | 2017-10-06 | |
|\ | |||
* \ | Merge PR #1121: Fixing BZ#5765 (an anomaly with 'pat in the parameters of an ... | 2017-10-06 | |
|\ \ | |||
* \ \ | Merge PR #1125: [pp] Minor optimization in `Pp.t` construction and gluing. | 2017-10-06 | |
|\ \ \ | |||
* \ \ \ | Merge PR #1124: Extraction: reduce atomic eta-redexes (solves indirectly BZ#4... | 2017-10-06 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #1128: GitLab CI: make all_stdlib.v in build job | 2017-10-06 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #1130: Fix copyright info in reference manual. | 2017-10-06 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #1131: Clean-up xml protocol doc | 2017-10-06 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR #1129: 8.7+beta2 CHANGES | 2017-10-06 | |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #1123: [ci] Remove deploy to GitHub of OS X package. | 2017-10-06 | |
|\ \ \ \ \ \ \ \ \ | |||
| | | * | | | | | | | Extract changes to the XML protocol from its doc | 2017-10-06 | |
| | | * | | | | | | | Make the XML protocol doc more version-independent | 2017-10-06 | |
| |_|/ / / / / / / |/| | | | | | | | | |||
| | | * | | | | | | Fix copyright info in reference manual. | 2017-10-06 | |
| |_|/ / / / / / |/| | | | | | | | |||
| | * | | | | | | 8.7+beta2 CHANGES | 2017-10-06 | |
* | | | | | | | | Merge PR #1069: Improve support for -w options | 2017-10-05 | |
|\ \ \ \ \ \ \ \ | |_|/ / / / / / |/| | | | | | | | |||
* | | | | | | | | Merge PR #1081: Mini fix at improving the cannot unify error message | 2017-10-05 | |
|\ \ \ \ \ \ \ \ | |||
* | | | | | | | | | Fix typo in INSTALL | 2017-10-05 | |
* | | | | | | | | | Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t... | 2017-10-05 | |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #1093: [doc] Update INSTALL to match reality. | 2017-10-05 | |
|\ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #1107: Add coqwc tests to test suite | 2017-10-05 | |
|\ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | * | | | | | GitLab CI: make all_stdlib.v in build job | 2017-10-05 | |
* | | | | | | | | | | | | Merge PR #1106: Fix beautifier | 2017-10-05 | |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1102: On the detection of evars which "advanced" (and a fix to BZ#5... | 2017-10-05 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1101: Fixing an old proof engine bug in collecting evars with clear... | 2017-10-05 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1059: coq_makefile: make sure compile flags for Coq and coq_makefil... | 2017-10-05 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|/ / / / / |/| | | | | | | | | | | | | | | |||
* | | | | | | | | | | | | | | | Merge PR #1112: Fix GeoCoq CI and remove it from allowed failures | 2017-10-05 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | | | * | | | | Extraction: reduce eta-redexes whose cores are atomic (solves indirectly BZ#4... | 2017-10-05 | |
| |_|_|_|_|_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | | | | | |||
| | | | | | | | | | | | * | | | [pp] Minor optimization in `Pp.t` construction and gluing. | 2017-10-05 | |
| |_|_|_|_|_|_|_|_|_|_|/ / / |/| | | | | | | | | | | | | | |||
| | | | | | | | | | | * | | | [ci] Remove deploy to GitHub of OS X package. | 2017-10-05 | |
| | | | | | | | | | | | | * | Fixing BZ#5769 (variable of type "_something" was named after invalid "_"). | 2017-10-05 | |
| | | | | | | | | | | | | * | Distinguishing pseudo-letters out of the set of unicode letters. | 2017-10-05 | |
| | | | | | | | | | | | | * | Fixing typos in comments of unicode.ml. | 2017-10-05 | |
| | | | | | | | | | | | * | | Fixing #5765 (an anomaly with 'pat in parameters of inductive definition). | 2017-10-05 | |
| | | | | | | | | | | | |/ | |||
* | | | | | | | | | | | | | Merge PR #1006: fix: ssrmatching and primitive projections | 2017-10-04 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1078: Report missing arguments in error message | 2017-10-04 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1096: [stm] Warn about costly Undo operations in batch mode [BZ#5677] | 2017-10-04 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1058: Fixing BZ#5741 (anomaly in info_trivial). | 2017-10-04 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | | | | | | |||
| | | | | | | | | | * | | | | | | add coqwc tests | 2017-10-03 | |
| | | | | | | | | | | |_|_|_|/ | | | | | | | | | | |/| | | | | |||
| | | | | | * | | | | | | | | | fix compilation on OCaml < 4.04 | 2017-10-03 | |
* | | | | | | | | | | | | | | | Merge PR #1110: Mention requiring extraction/funind in CHANGES | 2017-10-03 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1105: [stm] Remove unused "Proof using" data in `Sync` tags. | 2017-10-03 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1104: Browser userscript to turn BZ#XXXX occurences into links. | 2017-10-03 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1100: Avoid looping when searching for CoqProject. | 2017-10-03 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1099: BZ#5637, look for Obligation num or Next Obligation to start ... | 2017-10-03 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1097: Properly display the "only" prefix for selectors (bug #5760). | 2017-10-03 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1094: Fixing a little parsing bug with level 90 introduced in 3e70e... | 2017-10-03 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1090: [ide] Avoid duplicate error printing (BZ#5583) | 2017-10-03 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1084: After testing it in live, writing metas using an ?INTERNAL#42... | 2017-10-03 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | | | | | * | | | | | | | | | | Remove GeoCoq from allowed failures. | 2017-10-03 | |
| | | | | | | | | | | | | | * | | | | | | | | | | Fix GeoCoq build by using a shared CI configure. | 2017-10-03 | |
| |_|_|_|_|_|_|_|_|_|_|_|_|/ / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | |||
* | | | | | | | | | | | | | | | | | | | | | | | Merge PR #1015: Adding a function to be typically used to pass values from an... | 2017-10-03 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ |