Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 10, 2019

• Merge PR #9536: [ci] Remove unused bintray file.

  Show description for 35006f3
  maximedenes

  committed
  35006f3

  Copy full SHA for 35006f3

Commits on Feb 9, 2019

• [ci] Remove unused bintray file.

  Show description for ecd0006
  ejgallego

  committed
  ecd0006

  Copy full SHA for ecd0006

Commits on Feb 8, 2019

• Merge PR #9525: Remove global output_native_objects flag.

  Show description for d8cf6da
  ejgallego

  committed
  d8cf6da

  Copy full SHA for d8cf6da

• Merge PR #9523: Make boot flag into a normal option (no global flag).

  Show description for 92df98d
  ejgallego

  committed
  92df98d

  Copy full SHA for 92df98d

• Merge PR #9481: [parsing] Use AST node for main parsing entry.

  Show description for 3b9d338
  gares

  committed
  3b9d338

  Copy full SHA for 3b9d338

• Merge PR #9492: [stm] Filter some more arguments that shouldn't be sent to workers.

  Show description for e6694bf
  gares

  committed
  e6694bf

  Copy full SHA for e6694bf

• Merge PR #9504: Add print_pure_econstr signature

  Show description for 8c1c760
  SkySkimmer

  committed
  8c1c760

  Copy full SHA for 8c1c760

• coqargs: use algebraic datatype for -native-compiler

  SkySkimmer

  committed
  6e05210

  Copy full SHA for 6e05210

• Remove global output_native_objects flag.

  SkySkimmer

  committed
  95e7238

  Copy full SHA for 95e7238

• Make boot flag into a normal option (no global flag).

  SkySkimmer

  committed
  6c06f36

  Copy full SHA for 6c06f36

• Merge PR #9513: Edit release-process.md to ease upcoming releases of Coq in Docker Hub

  Show description for bb967f1
  Zimmi48

  committed
  bb967f1

  Copy full SHA for bb967f1

• [stm] Filter some more arguments that shouldn't be sent to workers.

  Show description for f828ca3
  ejgallego

  committed
  f828ca3

  Copy full SHA for f828ca3

• Merge PR #9410: Make `Program` a regular attribute

  Show description for d1d32f5
  mattam82

  committed
  d1d32f5

  Copy full SHA for d1d32f5

• Merge PR #9515: [Gitlab-CI] Automatic deployment of the standard library documentation to GH-pages

  Show description for 79b6317
  ejgallego

  committed
  79b6317

  Copy full SHA for 79b6317

• [Gitlab-CI] Automatic deployment of the standard library documentation to GH-pages

  vbgl

  committed
  ef8a8ce

  Copy full SHA for ef8a8ce

Commits on Feb 7, 2019

• Add item in release-process.md to ease upcoming releases of Coq in Docker Hub

  Show description for a3cae58
  erikmd

  committed
  a3cae58

  Copy full SHA for a3cae58

• Merge PR #9499: [Gitlab-CI] Never attempt to build cachix

  Show description for a2365c5
  Zimmi48

  committed
  a2365c5

  Copy full SHA for a2365c5

• Merge PR #9477: Makefiles: Fixes for byte compilation

  Show description for e209341
  gares

  committed
  e209341

  Copy full SHA for e209341

• Merge PR #9475: Automatic deployment of the user manual to GH-Pages

  Show description for 99c1d7b
  SkySkimmer

  committed
  99c1d7b

  Copy full SHA for 99c1d7b

• Add print_pure_econstr signature

  Show description for e3c4413
  thierry-martinez

  committed
  e3c4413

  Copy full SHA for e3c4413

• [Gitlab-CI] Never attempt to build cachix

  vbgl

  committed
  503cf04

  Copy full SHA for 503cf04

• Merge PR #9496: Avoid eqn when generating name in induction_gen.

  Show description for d1538ff
  ppedrot

  committed
  d1538ff

  Copy full SHA for d1538ff

• Merge PR #9498: [dune] Fix OCaml trunk build.

  Show description for bd25768
  SkySkimmer

  committed
  bd25768

  Copy full SHA for bd25768

• Merge PR #9479: Remove the Plexing.Error exception.

  Show description for 516af69
  ejgallego

  committed
  516af69

  Copy full SHA for 516af69

• [dune] Fix OCaml trunk build.

  Show description for f303af4
  ejgallego

  committed
  f303af4

  Copy full SHA for f303af4

Commits on Feb 6, 2019

• [Gitlab-CI] Deploy manual to GH-Pages

  vbgl

  committed
  1e91dc5

  Copy full SHA for 1e91dc5

• Avoid eqn when generating name in induction_gen.

  Show description for d708030
  jashug

  committed
  d708030

  Copy full SHA for d708030

• Merge PR #9124: Document the possibility of declaring a Ltac name_goal.

  Show description for 7886c6d
  cpitclaudel

  committed
  7886c6d

  Copy full SHA for 7886c6d

• Merge PR #9456: The lowest universe level is 1.

  Show description for 177a438
  Zimmi48

  committed
  177a438

  Copy full SHA for 177a438

• Document the possibility of declaring a Ltac name_goal.

  Zimmi48

  committed
  4031789

  Copy full SHA for 4031789

• Makefiles: Fixes for byte compilation

  Show description for f29aa67
  SkySkimmer

  committed
  f29aa67

  Copy full SHA for f29aa67

• Merge PR #9487: Fix #9281: forgotten CeCILL-B headers in ssrmatching plugin.

  Show description for c1123f1
  gares

  committed
  c1123f1

  Copy full SHA for c1123f1

• Fix #9486: Makefile.install should not have a target foo

  SkySkimmer

  committed
  37b900a

  Copy full SHA for 37b900a

• Fix #9281: forgotten CeCILL-B headers in ssrmatching plugin.

  Zimmi48

  committed
  b7b938a

  Copy full SHA for b7b938a

Commits on Feb 5, 2019

• [parsing] Use AST node for main parsing entry.

  Show description for d23434f
  ejgallego

  committed
  d23434f

  Copy full SHA for d23434f

Pagination

Previous

Next