aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2018-09-26[api] Two more missing deprecations.Emilio Jesus Gallego Arias
We missed two more constructor / record deprecation.
2018-09-25Merge PR #8552: [ci] [docker] elpi version 1.1.0Emilio Jesus Gallego Arias
2018-09-25Merge PR #8549: Fix issues introduced by the PDF manual mergeThéo Zimmermann
2018-09-25overlay to test elpi 1.1Enrico Tassi
2018-09-25elpi 1.1.0Enrico Tassi
2018-09-25Merge PR #8235: NArith: deprecate N2Bv_genHugo Herbelin
2018-09-25Fix Sphinx manual targets.Théo Zimmermann
New targets refman, refman-html and refman-pdf. sphinx keeps its previous meaning (compatibility alias for refman-html). install-doc-sphinx has been accidentally renamed.
2018-09-25Fix title of Introduction chapter in HTML version.Théo Zimmermann
And location of footnote.
2018-09-25[doc] Rename credits-wrapper to credits and credits to credits-contentsClément Pit-Claudel
This ensures that previous links to 'credits.html' still point to the right page.
2018-09-25[doc] Change Sphinx project title back to "Coq"Clément Pit-Claudel
Use 'The Coq Reference Manual' only in LaTeX.
2018-09-25[doc] Fix GH-8529: wrap macro definitions in math delimiters for MathJaxClément Pit-Claudel
2018-09-25Merge PR #6343: [engine] Remove and deprecate `nf_enter` et al.Pierre-Marie Pédrot
2018-09-25Merge PR #8550: Don't use dune-template for apidocEmilio Jesus Gallego Arias
2018-09-24Don't use dune-template for apidocGaëtan Gilbert
dune-template works for the build jobs but followup jobs are different enough to make reuse more confusing than useful IMO.
2018-09-24Merge PR #8541: Update flag, option and table descriptions in coqdomain.py, ↵Clément Pit-Claudel
update README.rst to match.
2018-09-24Merge PR #8520: [ci] [docker] Move to OPAM 2.0Gaëtan Gilbert
2018-09-24[engine] Remove and deprecate `nf_enter` et al.Emilio Jesus Gallego Arias
After the introduction of `EConstr`, "normalization" has become unnecessary, we thus deprecate the `nf_*` family of functions. Test-suite and CI pass after the fix for #8513.
2018-09-24Merge PR #8499: [api] Deprecate constructors of deprecated datatypes.Pierre-Marie Pédrot
2018-09-24Merge PR #8527: dev/doc/profiling.txt: per-component flame graphsPierre-Marie Pédrot
2018-09-24Merge PR #8464: Fix numeral notationsHugo Herbelin
2018-09-24Merge PR #8530: Fix typo in comment.Hugo Herbelin
2018-09-24Merge PR #8536: Fix #8513: EConstr.eq_constr doesn't properly take into ↵Gaëtan Gilbert
account universe variables
2018-09-24[ci] [docker] Move to OPAM 2.0Emilio Jesus Gallego Arias
The OPAM 1.2 repository has been frozen, thus we must use OPAM 2.0 if we want to get newer versions of packages / compilers. For now we must perform a manual install of OPAM as no packages for Ubuntu 18.04 exist. Note that this means nothing about the installability of Coq itself, whose OPAM repository should remain in 1.2 format for quite a long period.
2018-09-24Merge PR #8537: [default.nix] Bump nixpkgs to use Dune 1.2.1.Vincent Laporte
2018-09-24Merge PR #8519: Issue #8514 windows ci failuresThéo Zimmermann
2018-09-23Update flag, option and table descriptions in coqdomain.py, update ↵Jim Fehrle
README.rst to match. Bump env_version.
2018-09-23[default.nix] Bump nixpkgs to use Dune 1.2.1.Théo Zimmermann
2018-09-23[api] Deprecate constructors of deprecated datatypes.Emilio Jesus Gallego Arias
When deprecating some type alias [due to code refactoring] we forgot to deprecate the constructors too. Closes #8498.
2018-09-23Fix #8513: EConstr.eq_constr doesn't properly take into account universe ↵Pierre-Marie Pédrot
variables. We simply normalize the universe variables before comparing them.
2018-09-23Merge PR #8465: Small cleanup of summary usesPierre-Marie Pédrot
2018-09-23Merge PR #8247: Show diffs on multiple changed goals; match old and new goal ↵Emilio Jesus Gallego Arias
info
2018-09-22Fix typo in comment.Nick Lewycky
2018-09-21dev/doc/profiling.txt: per-component flame graphsAndres Erbsen
2018-09-21Merge PR #8500: [api] Deprecate two forgotten print functions that use ↵Hugo Herbelin
global state.
2018-09-21Merge PR #8526: Fix Travis CI by pinning brew OPAM package to version 1.2.2.Gaëtan Gilbert
2018-09-21Fix Travis CI by pinning brew OPAM package to version 1.2.2.Théo Zimmermann
2018-09-21Merge PR #8522: [dune] Improve support for Coq tools.Théo Zimmermann
2018-09-21Merge PR #8516: CHANGES for 8.8.2.Théo Zimmermann
2018-09-21[dune] Improve support for Coq tools.Emilio Jesus Gallego Arias
- Install `CoqMakefile.in` - Build `coqwc` and `coqdoc` This allows to build most contribs I've tried with the Dune-based OPAM package.
2018-09-21Merge pull request #8462 from vbgl/zify-colonequalLaurent Théry
Zify: replace local definitions by equations
2018-09-21Merge PR #8443: [opam] [dune] Fix typo + set prefix for configure.Théo Zimmermann
2018-09-21Merge PR #8521: Create a team of micromega maintainersThéo Zimmermann
2018-09-21Create a team of micromega maintainersMaxime Dénès
2018-09-21Use unique names in windows CI for cygwin and coq install folderMichael Soegtrop
Don't zip artifacts but create an artifact folder structure
2018-09-21Merge PR #8439: Update documentation of options and flagsThéo Zimmermann
2018-09-21Merge PR #8455: Move tests in bugs/ to bugs/closed/.Théo Zimmermann
2018-09-21Merge commit 6a8c37c02504463afaa677641d75d9977020edf6 Windows buildfile ↵Michael Soegtrop
cleanup and stability and logging enhancements from v8.8
2018-09-20Rewrite "Flags, Options and Tables" section.Jim Fehrle
Mark boolean-valued options with :flag: Adjust tactic and command names so parameters aren't shown in the index unless they're needed for disambiguation. Remove references to synchronous options. Revise doc for tables. Correct indentation for text below :flag:
2018-09-21[dune] [configure] Allow to set prefix using environment variable.Emilio Jesus Gallego Arias
This is a hack to enable correct OPAM building, the medium-term plan is to avoid having to set a prefix at configure time but instead using a set of rules to locate the Coq library. We use `(env_var ...)` in a dependency rule, which a feature of Dune 1.2
2018-09-21Merge PR #8518: [dune] Add "watch" target for continuous build mode.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 15:10:57 +0000