Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 13, 2021

• Update Coq.gitignore

  Show description for 68f4c9a
  JasonGross

  authored
  68f4c9a

Commits on Apr 7, 2020

• Add generated timing files to Coq.gitignore (github#3367)

  Show description for 994f99f
  JasonGross

  authored
  994f99f

Commits on Nov 25, 2019

• Update Coq.gitignore after coq/coq#11075 (github#3247)

  Show description for 38c1cfc
  

  JasonGross

  authored and

  shiftkey

  committed
  38c1cfc

Commits on Nov 8, 2019

• Update Coq.gitignore for coq/coq#8642 and coq/coq#10947 (github#3223)

  

  JasonGross

  authored and

  shiftkey

  committed
  44bc08a

Commits on Oct 11, 2016

• Add mllib, mlpack files

  JasonGross

  authored
  8202fbb

• Add .native

  JasonGross

  authored
  6615075

• Update Coq.gitignore

  Show description for 46d36eb
  JasonGross

  authored
  46d36eb

Commits on Oct 6, 2013

• ensure single trailing newline

  izuzak

  committed
  f0dde55

Commits on Nov 23, 2010

• add Coq gitignore

  

  dcolish

  authored and

  defunkt

  committed
  2483494

Loading