Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Use a nice printer for constant names in Suggest Proof Using. | 2017-10-10 | |
* | Code factorization Vernacentries.interp on VernacProof. | 2017-10-10 | |
* | [vernac] Remove "Proof using" hacks from parser. | 2017-10-10 | |
* | Take Suggest Proof Using outside the kernel. | 2017-10-10 | |
* | Merge PR #1137: Include leading zeros in version info | 2017-10-10 | |
|\ | |||
* \ | Merge PR #768: Omega and romega know about context definitions (fix old bug 148) | 2017-10-10 | |
|\ \ | |||
* \ \ | Merge PR #1053: [deps] Move `Discharge` to `interp` | 2017-10-10 | |
|\ \ \ | |||
* \ \ \ | Merge PR #1067: Iris CI: use opam to install dependencies | 2017-10-10 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #1087: [stm] Switch to a functional API | 2017-10-09 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #1126: [ltac] Warning for deprecated `Add Setoid` and `Add Morphism`... | 2017-10-09 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #1134: Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3." | 2017-10-09 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR #1133: Fix hardcoded boot dependencies after #1041. | 2017-10-09 | |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #1132: TimeFileMaker.py: Allow trailing spaces | 2017-10-09 | |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #1115: Autolink to Github PRs from Bugzilla | 2017-10-09 | |
|\ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #1114: Generic handling of nameable objects for plugins | 2017-10-09 | |
|\ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1109: Handle some misc todos | 2017-10-09 | |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | * | | | [deps] Move `Discharge` to `interp` | 2017-10-09 | |
* | | | | | | | | | | | | | Merge PR #1086: [stm] [flags] Move document mode flags to the STM. | 2017-10-09 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1062: BZ#5739, Allow level for leftmost nonterminal for printing-on... | 2017-10-09 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1117: [ci] Remove temporary bignums overlay. | 2017-10-09 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|/ / / |/| | | | | | | | | | | | | | | |||
| | | | | | | | | | | | | | * | Include leading zeros in version info | 2017-10-09 | |
| |_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | |||
| | | | | | | | | * | | | | | Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3." | 2017-10-07 | |
| | | | | | | | * | | | | | | Fix hardcoded boot dependencies after #1041. | 2017-10-07 | |
| |_|_|_|_|_|_|/ / / / / / |/| | | | | | | | | | | | | |||
| | | | | | | | | | | | * | travis: remove the overlay on bignums | 2017-10-07 | |
| | | | | | | | | | | | * | Compat/Coq87.v : Unset Omega UseLocalDefs (see PR #768) | 2017-10-07 | |
| | | | | | | | | | * | | | [stm] Switch to a functional API | 2017-10-06 | |
| | | | |_|_|_|_|_|/ / / | | | |/| | | | | | | | | |||
| | | * | | | | | | | | | [stm] [flags] Move document mode flags to the STM. | 2017-10-06 | |
| | | * | | | | | | | | | [coqtop] Don't reset coqinit internal variables after initialization. | 2017-10-06 | |
| |_|/ / / / / / / / / |/| | | | | | | | | | | |||
* | | | | | | | | | | | Merge PR #1127: Shorten the .gitattributes file. | 2017-10-06 | |
|\ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #1118: Extraction : minor support stuff for the new Extraction Compu... | 2017-10-06 | |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ | 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 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | | | | | | | | * | | | | TimeFileMaker.py: Allow trailing spaces | 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 | |
| | | | | | | | | | | | | | | * | | | [ltac] Warning for deprecated `Add Setoid` and `Add Morphism` forms. | 2017-10-05 | |
| |_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / |/| | | | | | | | | | | | | | | | | |||
| | | | | | | | | | | | | | | | * | romega: takes advantage of context variables with body | 2017-10-05 | |
| | | | | | | | | | | | | | | | * | Omega now aware of context variables with bodies (in type Z or nat) (fix bug ... | 2017-10-05 | |
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | |||
* | | | | | | | | | | | | | | | | 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 |