Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | | | | | | * | | | | Add AppVeyor badge next to Travis badge. | 2017-10-19 | ||
| |_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | ||||
| | | | | | * | | | | | Bugzilla autolink: avoid linking inside links (fix #5974). | 2017-10-18 | ||
| |_|_|_|_|/ / / / / |/| | | | | | | | | | ||||
* | | | | | | | | | | Merge PR #984: Handling primitive projections in canonical structures. | 2017-10-18 | ||
|\ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | * | | | | | Fixing link to GitHub issue search, and wording. | 2017-10-18 | ||
| |_|_|_|_|/ / / / / |/| | | | | | | | | | ||||
| | | | | | * | | | | [travis] Add flambda testing. | 2017-10-18 | ||
* | | | | | | | | | | Merge PR #1149: Moving to GitHub issues. | 2017-10-18 | ||
|\ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|/ / / / |/| | | | | | | | | | ||||
| * | | | | | | | | | Moving to GitHub issues. | 2017-10-18 | ||
| | * | | | | | | | | Adding a test for bug BZ#5692. | 2017-10-17 | ||
| | * | | | | | | | | unification: fix BZ#5692, recognize prim projs as CS projections | 2017-10-17 | ||
| | * | | | | | | | | Properly handling projection parameters in canonical structures. | 2017-10-17 | ||
| | * | | | | | | | | Handling primitive projections in canonical structures. | 2017-10-17 | ||
| |/ / / / / / / / |/| | | | | | | | | ||||
| | * | | | | | | | [vernac] [state] Cache freeze/unfreeze | 2017-10-17 | ||
| | * | | | | | | | [stm] Remove state-handling from Futures. | 2017-10-17 | ||
| | * | | | | | | | [stm] Move interpretation state to Vernacentries | 2017-10-17 | ||
| | * | | | | | | | [stm] Remove VtBack from public classification. | 2017-10-17 | ||
| | * | | | | | | | [stm] First step to move interpretation of Undo commands out of the classifier. | 2017-10-17 | ||
| |/ / / / / / / |/| | | | | | | | ||||
* | | | | | | | | Merge PR #1153: [stdlib] Fix warnings on deprecated `Add Setoid` | 2017-10-16 | ||
|\ \ \ \ \ \ \ \ | ||||
| | | | | * | | | | Use type nonrec in some functor arguments. | 2017-10-16 | ||
| |_|_|_|/ / / / |/| | | | | | | | ||||
* | | | | | | | | Merge PR #1152: Fix BZ#5785 (make install -j broken) | 2017-10-16 | ||
|\ \ \ \ \ \ \ \ | ||||
| | * | | | | | | | [stdlib] Fix warnings on deprecated `Add Setoid` | 2017-10-15 | ||
| |/ / / / / / / |/| | | | | | | | ||||
| * | | | | | | | Fix some more missing mkdir lines to Makefile.ide | 2017-10-13 | ||
| * | | | | | | | Fix BZ#5785 (make install -j broken) | 2017-10-13 | ||
|/ / / / / / / | ||||
* | | | | | | | Merge PR #1103: Take Suggest Proof Using outside the kernel. | 2017-10-13 | ||
|\ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ | Merge PR #1089: [stm] [toplevel] Move delicate state initialization to the ST... | 2017-10-12 | ||
|\ \ \ \ \ \ \ \ | ||||
| | | | | | * | | | Added proofs of Qeq_bool_refl, Qeq_bool_sym, Qeq_bool_trans. | 2017-10-12 | ||
* | | | | | | | | | Merge PR #1144: Fix 5776 - `make` gives `ocamlfind: No such file or directory... | 2017-10-12 | ||
|\ \ \ \ \ \ \ \ \ | |_|_|/ / / / / / |/| | | | | | | | | ||||
| | | | | * | | | | Remove GeoProof support. | 2017-10-11 | ||
| |_|_|_|/ / / / |/| | | | | | | | ||||
* | | | | | | | | Merge PR #1054: Restoring test on ident validity while browsing directory str... | 2017-10-11 | ||
|\ \ \ \ \ \ \ \ | ||||
| | * | | | | | | | Fix 5776 - `make` gives `ocamlfind: No such file or directory` on every execu... | 2017-10-11 | ||
| | | * | | | | | | [stm] [toplevel] Move delicate state initialization to the STM (BZ#5556) | 2017-10-11 | ||
* | | | | | | | | | Merge PR #1143: fix coq_makefile on cygwin | 2017-10-11 | ||
|\ \ \ \ \ \ \ \ \ | |_|_|/ / / / / / |/| | | | | | | | | ||||
| | | | * | | | | | Stm.get_hint_ctx: remove unused Str.split | 2017-10-10 | ||
| | | | * | | | | | Parse [Proof using Type] without translating Type to an id. | 2017-10-10 | ||
| | | | * | | | | | 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 #1140: Fix Travis OSX deploy conditional. | 2017-10-10 | ||
|\ \ \ \ \ \ \ \ | ||||
| | * | | | | | | | Fix BZ#5780: coq_makefile broken under Cygwin | 2017-10-10 | ||
| | | |/ / / / / | | |/| | | | | | ||||
* | | | | | | | | Merge PR #540: [configure] Support for flambda flags. | 2017-10-10 | ||
|\ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ | Merge PR #1116: Updating citing Coq in FAQ. | 2017-10-10 | ||
|\ \ \ \ \ \ \ \ \ | |_|_|/ / / / / / |/| | | | | | | | | ||||
| * | | | | | | | | Updating citing Coq in FAQ. | 2017-10-10 | ||
| | | | * | | | | | Restoring test on ident validity while browsing directory structure. | 2017-10-10 | ||
| | | | * | | | | | Adding headers to segmenttree.{ml,mli}. | 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 | ||
|\ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | * | | | | | | [flambda] [native] Pass `-Oclassic` to the native compiler. | 2017-10-10 | ||
| | | | | | * | | | | | | [configure] Support for flambda flags. | 2017-10-10 |