Commits

Breadcrumbs

History for

on5a3ecf8

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 14, 2011

• Pfew, resolved all names, s/Zero/[0]/ and s/One/[1]/

  wires

  committed
  5314875

  Copy full SHA for 5314875

Commits on Oct 23, 2009

• Get rid of remaining uses of legacy_rational.

  Eelis

  committed
  4a5d974

  Copy full SHA for 4a5d974

Commits on Sep 23, 2009

• Use consistent layout (in particular indentation) in all proof scripts.

  Eelis

  committed
  0c00fde

  Copy full SHA for 0c00fde

Commits on Sep 15, 2009

• Now compiles with ssreflect.

  Show description for 9473954
  

  Bas Spitters

  committed
  9473954

  Copy full SHA for 9473954

Commits on May 20, 2008

• Merge with upstream

  Show description for 67de0a8
  

  lmamane

  committed
  67de0a8

  Copy full SHA for 67de0a8

Commits on Oct 23, 2006

• Merge with Nijmegen:

  Show description for af80963
  

  lmamane

  committed
  af80963

  Copy full SHA for af80963

Commits on Sep 26, 2006

• Merge with Nijmegen:

  Show description for d3a11fd
  

  lmamane

  committed
  d3a11fd

  Copy full SHA for d3a11fd

Commits on Jun 15, 2006

• Nouvelle version de CoRN, qui:

  Show description for 7ce488e
  

  lmamane

  committed
  7ce488e

  Copy full SHA for 7ce488e

Commits on May 22, 2006

• Licence pour les contribs

  Show description for e04615f
  

  notin

  committed
  e04615f

  Copy full SHA for e04615f

Commits on Dec 7, 2004

• * MAJ (07/12/2004)

  Show description for b5db6ac
  

  coq

  committed
  b5db6ac

  Copy full SHA for b5db6ac

Commits on Mar 29, 2004

• Initial revision

  Show description for 2ac431b
  

  narboux

  committed
  2ac431b

  Copy full SHA for 2ac431b

Loading