Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove deprecated options from ./configure | 2017-07-11 | |
* | Merge PR #867: Removing a redundant universe instance information in native c... | 2017-07-11 | |
|\ | |||
| * | Removing a redundant universe instance information in native compute. | 2017-07-10 | |
|/ | |||
* | Merge PR #853: Clean 'with Definition' implementation. | 2017-07-06 | |
|\ | |||
* \ | Merge PR #837: Add inversion_sigma to CHANGES and to doc | 2017-07-05 | |
|\ \ | |||
* \ \ | Merge PR #850: Improve grammar in RefMan-Gal and RefMan-syn | 2017-07-05 | |
|\ \ \ | |||
* \ \ \ | Merge PR #840: Quote $(OCAMLFIND) in CoqMakefile.in for Windows | 2017-07-05 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #839: Update .gitignore with doc/tutorial/Tutorial.v.out | 2017-07-05 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #832: Document an example `Makefile` for `coq_makefile` | 2017-07-05 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge branch 'v8.6' | 2017-07-04 | |
|\ \ \ \ \ \ \ | |||
* | | | | | | | | Bump year in headers. | 2017-07-04 | |
| | | | | | | * | Removing dead code in Subtyping. | 2017-07-04 | |
| | | | | | | * | Removing a few suspicious functions from the kernel. | 2017-07-03 | |
| | | | | | | * | Do not add original constraints to the environment in 'with Definition' check. | 2017-07-03 | |
| |_|_|_|_|_|/ |/| | | | | | | |||
| | | | | * | | Update RefMan-syn.tex | 2017-07-01 | |
| | | | | * | | Merge remote-tracking branch 'upstream/trunk' into trunk | 2017-07-01 | |
| | | | | |\ \ | |_|_|_|_|/ / |/| | | | | | | |||
| | | | | * | | RefMan-gal: improve grammar | 2017-07-01 | |
| | | | | * | | RefMan-syn: grammar edit | 2017-07-01 | |
| | * | | | | | Document an example `Makefile` for `coq_makefile` | 2017-06-30 | |
| |/ / / / / |/| | | | | | |||
| | | | | * | Add doc for inversion_sigma to RefMan-tac | 2017-06-30 | |
| | | | | * | Update CHANGES with inversion_sigma entry | 2017-06-30 | |
| |_|_|_|/ |/| | | | | |||
| | * | | | Update .gitignore with doc/tutorial/Tutorial.v.out | 2017-06-30 | |
| |/ / / |/| | | | |||
| | * | | Fix more potential quoting issues: COQBIN , COQLIB | 2017-06-30 | |
| | * | | Also quote $(COQLIB)/grammar | 2017-06-30 | |
| | * | | Create a variable for CAMLDOC in CoqMakefile.in | 2017-06-30 | |
| | * | | Quote $(OCAMLFIND) in CoqMakefile.in for Windows | 2017-06-30 | |
| |/ / |/| | | |||
* | | | Merge PR#846: Fix OS X Travis by pinning OCaml version. | 2017-06-30 | |
|\ \ \ | |||
* \ \ \ | Merge PR#843: closing bug #5618 introduce by PR 828 | 2017-06-30 | |
|\ \ \ \ | |||
| | * | | | Fix OS X Travis by pinning OCaml version. | 2017-06-30 | |
| |/ / / |/| | | | |||
| * | | | closing bug #5618 introduce by PR 828 | 2017-06-29 | |
* | | | | Merge PR#810: An attempt to fix a failure of test deps-checksum.sh fails with... | 2017-06-27 | |
|\ \ \ \ | |||
| | | * \ | Merge PR#731: Mini-cleaning around OCaml file names | 2017-06-27 | |
| | | |\ \ | |||
| | | | * | | A cleaning phase about ocaml file names. | 2017-06-27 | |
| | | * | | | Merge PR#814: Fix #5380: Default colors for CoqIDE are actually applied. | 2017-06-27 | |
| | | |\ \ \ | |||
* | | | \ \ \ | Merge PR#826: Put plugin exports in the right compatibility file | 2017-06-26 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | 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 | |
| | | | | | | | | | | | | | |/ / | | | | | | | | | | | | | |/| | |