Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 27, 2018

• Merge pull request coq-community#61 from Zimmi48/rename-make

  Show description for 32e8ebe
  spitters

  authored
  32e8ebe

Commits on Jul 26, 2018

• Rename Make into _CoqProject because of better IDE support.

  Zimmi48

  committed
  3d646b0

Commits on Jul 23, 2018

• Merge pull request coq-community#60 from Zimmi48/gitignore

  Show description for 4b14b86
  spitters

  authored
  4b14b86

• Extend .gitignore.

  Zimmi48

  committed
  36b4af9

• Merge pull request coq-community#59 from Zimmi48/fix-travis

  Show description for 13e35af
  spitters

  authored
  13e35af

Commits on Jul 20, 2018

• Fix Travis (coq-released is already a remote repository).

  Zimmi48

  committed
  9cf770d

• Update canonical_names.v

  spitters

  authored
  888839a

• Merge pull request coq-community#58 from maximedenes/fix-coercions-import

  Show description for 8012dfe
  spitters

  authored
  8012dfe

• Remove deprecated option Set Automatic Coercions Import.

  maximedenes

  committed
  b2dc9fa

• Update streams.v

  spitters

  authored
  94f94f7

• Rename Streams.v to CoqStreams.v

  spitters

  authored
  f7c6cca

• Update README.md

  spitters

  authored
  c7a499f

Commits on Jul 16, 2018

• Merge pull request coq-community#54 from maximedenes/opam

  Show description for fbf853a
  spitters

  authored
  fbf853a

• Add OPAM file

  maximedenes

  committed
  9e20361

Commits on May 24, 2018

• Update .travis.yml

  spitters

  authored
  d1903b5

• Merge pull request coq-community#53 from ppedrot/fix-51

  Show description for 1149771
  spitters

  authored
  1149771

• Merge pull request coq-community#52 from ppedrot/deprecate-positive-coinductives

  Show description for 50f8758
  spitters

  authored
  50f8758

• Fix coq-community#51: cofix tactic without a name is deprecated.

  ppedrot

  committed
  263f30d

Commits on May 17, 2018

• Backporting the legacy stream theory from Coq.

  ppedrot

  committed
  b55719a

Commits on Feb 23, 2018

• Merge pull request coq-community#48 from jashug/master

  Show description for 403d887
  spitters

  authored
  403d887

• Change Implicit Arguments to Arguments

  jashug

  committed
  5b7cb6d

Commits on Oct 27, 2017

• Merge pull request coq-community#46 from Zimmi48/v8.6

  Show description for 458f12f
  spitters

  authored
  458f12f

• Fix Travis: install cq-bignums.

  Zimmi48

  committed
  a8ecc21

• math-classes : switch to the external Bignums library

  Show description for cb8fc64
  

  letouzey

  authored and

  Zimmi48

  committed
  cb8fc64

• fix a unused variable name warning

  Zimmi48

  committed
  22e5896

Commits on Oct 26, 2017

• Update README.md

  Show description for 6dd0cd0
  spitters

  authored
  6dd0cd0

Commits on Sep 26, 2017

• Merge pull request coq-community#42 from johanneskloos/master

  Show description for db07eb1
  spitters

  authored
  db07eb1

Commits on Sep 24, 2017

• Prove that polynomials form a ring

  

  Johannes Kloos

  committed
  3ef3544

Commits on Jun 4, 2017

• Merge pull request coq-community#37 from matejkosik/master

  Show description for 2c6375f
  spitters

  authored
  2c6375f

• Merge pull request coq-community#33 from siddharthist/poly-symmetry

  Show description for 32616e5
  spitters

  authored
  32616e5

• Merge pull request coq-community#24 from urkud/fix-sig-apart

  Show description for 6207342
  spitters

  authored
  6207342

• Merge pull request coq-community#23 from urkud/fix-admits

  Show description for 31bb68e
  spitters

  authored
  31bb68e

• Merge pull request coq-community#22 from urkud/fix-polynomials

  Show description for 3ad272a
  spitters

  authored
  3ad272a

• Merge pull request coq-community#20 from urkud/fix-compile

  Show description for 85465bf
  spitters

  authored
  85465bf

Commits on May 15, 2017

• Merge pull request coq-community#40 from siddharthist/patch-1

  Show description for b927934
  spitters

  authored
  b927934

Pagination

PreviousNext