Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 21, 2021

• Merge pull request adambard#4140 from dbenn/patch-1

  Show description for 1c5fecd
  mxschumacher

  authored
  1c5fecd

  Copy full SHA for 1c5fecd

• Merge pull request adambard#4141 from dbenn/patch-2

  Show description for 4452699
  mxschumacher

  authored
  4452699

  Copy full SHA for 4452699

Commits on Mar 13, 2021

• [coq/en] remove extra "prove" from comment

  Show description for 160ecc8
  dbenn

  authored
  160ecc8

  Copy full SHA for 160ecc8

• [coq/en] 8-bits => 8-bit

  Show description for 835bae3
  dbenn

  authored
  835bae3

  Copy full SHA for 835bae3

• Update coq.html.markdown

  Show description for c5d94d3
  dbenn

  authored
  c5d94d3

  Copy full SHA for c5d94d3

Commits on Nov 26, 2019

• [coq/en] Fix code width

  Show description for 672b380
  sshine

  committed
  672b380

  Copy full SHA for 672b380

Commits on Nov 24, 2019

• Back to coq highlighting

  adambard

  authored
  06e05c4

  Copy full SHA for 06e05c4

Commits on Nov 19, 2019

• Try ocaml highlighting with coq

  adambard

  authored
  f1d03b0

  Copy full SHA for f1d03b0

Commits on Nov 12, 2019

• Add Coq tutorial

  philzook58

  committed
  e81c081

  Copy full SHA for e81c081

Loading