aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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 README.rst...Jim Fehrle
2018-09-23Documentation for proof diffsJim Fehrle
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
2018-09-23Fix #8513: EConstr.eq_constr doesn't properly take into account universe vari...Pierre-Marie Pédrot
2018-09-23Merge PR #8465: Small cleanup of summary usesPierre-Marie Pédrot
2018-09-23Checking if low-level name printers are used on purpose or not.Hugo Herbelin
2018-09-23Merge PR #8247: Show diffs on multiple changed goals; match old and new goal ...Emilio Jesus Gallego Arias
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 global...Hugo Herbelin
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
2018-09-21Merge pull request #8462 from vbgl/zify-colonequalLaurent Théry
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
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-21Remove hash based univ level compareGaëtan Gilbert
2018-09-21Add test for univ names of polymorphic inductives in sections.Gaëtan Gilbert
2018-09-21Universe binders are Id, not Name. Never print Var.Gaëtan Gilbert
2018-09-21Best-effort hack to provide a meaningful name for anonymous bound universes.Pierre-Marie Pédrot
2018-09-21Store universe binder names as a mere list of names.Pierre-Marie Pédrot
2018-09-21Removing calls to AUContext.instance.Pierre-Marie Pédrot
2018-09-21Fix printing of abstract universe contexts.Pierre-Marie Pédrot
2018-09-21Merge commit 6a8c37c02504463afaa677641d75d9977020edf6 Windows buildfile clean...Michael Soegtrop
2018-09-20Rewrite "Flags, Options and Tables" section.Jim Fehrle
2018-09-21[dune] [configure] Allow to set prefix using environment variable.Emilio Jesus Gallego Arias
2018-09-21Merge PR #8518: [dune] Add "watch" target for continuous build mode.Théo Zimmermann
2018-09-20[dune] Add "watch" target for continuous build mode.Emilio Jesus Gallego Arias
2018-09-20Define flags (binary-valued settings) and tables (settings that are sets)Jim Fehrle
2018-09-20CHANGES for 8.8.2.Théo Zimmermann
2018-09-20Current diff code only compares the first current goal of the old and newJim Fehrle
2018-09-20Use "rm -rf" so .coq-native directories are removed. Fixes #8496.Jim Fehrle
2018-09-20[opam] Fix typo in build variable.Emilio Jesus Gallego Arias
2018-09-20Merge PR #8418: Add a PDF version of the manualThéo Zimmermann
2018-09-20Merge PR #8297: Fix #7754: universe declarations on mutual inductivesMatthieu Sozeau
2018-09-20Stop building LaTeX doc in Travis (keep HTML).Théo Zimmermann
2018-09-20Mention PDF doc in CHANGES.Théo Zimmermann
2018-09-20Fix race condition.Théo Zimmermann
2018-09-20Update minimum required dependency versions of Sphinx doc.Théo Zimmermann
2018-09-20[doc] Replace app.info (deprecated in Sphinx 8.0) with logger.infoClément Pit-Claudel
2018-09-20[doc] Remove unneeded backslashes in biblio.bibClément Pit-Claudel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-14 05:40:44 +0000