aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Set version to 8.7.0~alpha.Gravatar Maxime Dénès2017-07-07
* Merge PR #844: Better support for make TIMED=1 on WindowsGravatar Maxime Dénès2017-07-07
|\
* \ Merge PR #800: Enable fiat-cryptoGravatar Maxime Dénès2017-07-07
|\ \
* \ \ Merge PR #837: Add inversion_sigma to CHANGES and to docGravatar Maxime Dénès2017-07-05
|\ \ \
* \ \ \ Merge PR #850: Improve grammar in RefMan-Gal and RefMan-synGravatar Maxime Dénès2017-07-05
|\ \ \ \
* \ \ \ \ Merge PR #840: Quote $(OCAMLFIND) in CoqMakefile.in for WindowsGravatar Maxime Dénès2017-07-05
|\ \ \ \ \
* \ \ \ \ \ Merge PR #839: Update .gitignore with doc/tutorial/Tutorial.v.outGravatar Maxime Dénès2017-07-05
|\ \ \ \ \ \
* \ \ \ \ \ \ Merge PR #832: Document an example `Makefile` for `coq_makefile`Gravatar Maxime Dénès2017-07-05
|\ \ \ \ \ \ \
| | | | | | * | Revert fiat-crypto overlayGravatar Jason Gross2017-07-04
| |_|_|_|_|/ / |/| | | | | |
* | | | | | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-07-04
|\ \ \ \ \ \ \
* | | | | | | | Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
| | | | | * | | Update RefMan-syn.texGravatar william-lawvere2017-07-01
| | | | | * | | Merge remote-tracking branch 'upstream/trunk' into trunkGravatar William Lawvere2017-07-01
| | | | | |\ \ \ | |_|_|_|_|/ / / |/| | | | | | |
| | | | | * | | RefMan-gal: improve grammarGravatar William Lawvere2017-07-01
| | | | | * | | RefMan-syn: grammar editGravatar William Lawvere2017-07-01
| | * | | | | | Document an example `Makefile` for `coq_makefile`Gravatar Jason Gross2017-06-30
| |/ / / / / / |/| | | | | |
| | | | | * | Add doc for inversion_sigma to RefMan-tacGravatar Jason Gross2017-06-30
| | | | | * | Update CHANGES with inversion_sigma entryGravatar Jason Gross2017-06-30
| |_|_|_|/ / |/| | | | |
| | * | | | Update .gitignore with doc/tutorial/Tutorial.v.outGravatar Jason Gross2017-06-30
| |/ / / / |/| | | |
| | * | | Fix more potential quoting issues: COQBIN , COQLIBGravatar Jason Gross2017-06-30
| | * | | Also quote $(COQLIB)/grammarGravatar Jason Gross2017-06-30
| | * | | Create a variable for CAMLDOC in CoqMakefile.inGravatar Jason Gross2017-06-30
| | * | | Quote $(OCAMLFIND) in CoqMakefile.in for WindowsGravatar Jason Gross2017-06-30
| |/ / / |/| | |
| | | * Better support for make TIMED=1 on WindowsGravatar Jason Gross2017-06-30
| |_|/ |/| |
* | | Merge PR#846: Fix OS X Travis by pinning OCaml version.Gravatar Maxime Dénès2017-06-30
|\ \ \
* \ \ \ Merge PR#843: closing bug #5618 introduce by PR 828Gravatar Maxime Dénès2017-06-30
|\ \ \ \
| | * | | Fix OS X Travis by pinning OCaml version.Gravatar Théo Zimmermann2017-06-30
| |/ / / |/| | |
| * | | closing bug #5618 introduce by PR 828Gravatar Julien Forest2017-06-29
* | | | Merge PR#810: An attempt to fix a failure of test deps-checksum.sh fails with...Gravatar Maxime Dénès2017-06-27
|\ \ \ \
| | | * \ Merge PR#731: Mini-cleaning around OCaml file namesGravatar Maxime Dénès2017-06-27
| | | |\ \
| | | | * | A cleaning phase about ocaml file names.Gravatar Hugo Herbelin2017-06-27
| | | * | | Merge PR#814: Fix #5380: Default colors for CoqIDE are actually applied.Gravatar Maxime Dénès2017-06-27
| | | |\ \ \
* | | | \ \ \ Merge PR#826: Put plugin exports in the right compatibility fileGravatar Maxime Dénès2017-06-26
|\ \ \ \ \ \ \
* \ \ \ \ \ \ \ Merge PR#825: Ignore all PDF files.Gravatar Maxime Dénès2017-06-26
|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ Merge PR#828: closing bug #4250Gravatar Maxime Dénès2017-06-26
|\ \ \ \ \ \ \ \ \ | | |_|_|/ / / / / | |/| | | | | | |
| | | | | * | | | Bump version number to 8.6.1.Gravatar Maxime Dénès2017-06-26
| | | | | * | | | Fix libpcre dependency issue under Windows.Gravatar Maxime Dénès2017-06-26
| | | | | * | | | Fix proxy setting issueGravatar Michael Soegtrop2017-06-26
| | | | | * | | | Fixes bug #5561,#5562 in Windows build systemGravatar Michael Soegtrop2017-06-26
| | | | | * | | | Merge PR#756: Fix Bug #5574, document function scopeGravatar Maxime Dénès2017-06-26
| | | | | |\ \ \ \
* | | | | | \ \ \ \ Merge PR#824: Fix printersGravatar Maxime Dénès2017-06-23
|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ Merge PR#821: [vernac] Remove stale bool parameter from `VernacStartTheoremPr...Gravatar Maxime Dénès2017-06-23
|\ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ Merge PR#820: [ide] Correct more merging errors.Gravatar Maxime Dénès2017-06-23
|\ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ Merge PR#815: STM: par: report no error to UIs in non-solve modeGravatar Maxime Dénès2017-06-23
|\ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ Merge PR#794: Cleanup of ltac cmxsGravatar Maxime Dénès2017-06-23
|\ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge PR#762: [vernac] Fix unneeded mutual references in ObligationsGravatar Maxime Dénès2017-06-23
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | | | | | | | | | | * \ \ \ \ Merge PR#813: Fix plugin warningsGravatar Maxime Dénès2017-06-23
| | | | | | | | | | | |\ \ \ \ \
| | | | | | | | | | | | | * | | | Fix Bug #5574, document function scopeGravatar Paul Steckler2017-06-23
| | | | | | | | | | | | | | |/ / | | | | | | | | | | | | | |/| |
| | | | | | | * | | | | | / | | closing bug #4250Gravatar Julien Forest2017-06-23
| |_|_|_|_|_|/ / / / / / / / / |/| | | | | | | | | | | | | |
| | | | | | | | | | * | | | | [configure] 'ocaml' is more precise than OCaml as we mean the binary.Gravatar Maxime Dénès2017-06-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 18:30:36 +0000