Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 26, 2017

• feat(quick reference): emphasize that this is for Lean 2

  avigad

  committed
  07c35e0

  Copy full SHA for 07c35e0

Commits on Jan 31, 2017

• fix(01,README): Lean2 -> Lean 2

  avigad

  committed
  d0dd6d0

  Copy full SHA for d0dd6d0

• chore(*): warning box about Lean2

  Kha

  committed
  f9fb0c7

  Copy full SHA for f9fb0c7

Commits on Jan 3, 2017

• adding a warning that this is the tutorial for the HoTT snapshot

  

  kim-em

  authored and

  avigad

  committed
  1389e64

  Copy full SHA for 1389e64

• This is the HoTT snapshot

  kim-em

  authored
  9e38ae2

  Copy full SHA for 9e38ae2

Commits on Nov 25, 2016

• fix(elisp/org-html-export): don't convert spaces to tabs

  Show description for 41c9533
  gebner

  committed
  41c9533

  Copy full SHA for 41c9533

• fix(07): fix dependent pattern match

  gebner

  committed
  d4b8d62

  Copy full SHA for d4b8d62

• fix(.travis.yml): disable broken tests

  gebner

  committed
  0fe1948

  Copy full SHA for 0fe1948

Commits on Nov 23, 2016

• fix(merge_chapters.sh): support org-mode 9.0

  gebner

  committed
  0ac5124

  Copy full SHA for 0ac5124

• chore(*): support org-mode 9.0

  gebner

  committed
  1779d02

  Copy full SHA for 1779d02

• fix(index.html,header/html.org): fix javascript errors in mobile safari ios 10

  

  glangmead

  authored and

  gebner

  committed
  59dcf61

  Copy full SHA for 59dcf61

Commits on Nov 15, 2016

• fix(08): fix typo: explicit -> implicit

  avigad

  committed
  615acea

  Copy full SHA for 615acea

Commits on Jul 16, 2016

• fix(05): edit typo

  amarmaduke

  committed
  cd852b8

  Copy full SHA for cd852b8

Commits on Jul 13, 2016

• Fix a typo

  Show description for f503bc6
  bshlgrs

  authored
  f503bc6

  Copy full SHA for f503bc6

Commits on Jun 9, 2016

• typo: exmaple --> example

  

  tomsib2001

  authored and

  soonhokong

  committed
  0a2d14e

  Copy full SHA for 0a2d14e

• refl --> eq.refl

  

  tomsib2001

  authored and

  soonhokong

  committed
  92c2cfb

  Copy full SHA for 92c2cfb

• fix(.travis.yml): use sudo for installing npm packages

  soonhokong

  committed
  ce83e78

  Copy full SHA for ce83e78

• feat(ulem.sty): add

  soonhokong

  committed
  c7ec9ea

  Copy full SHA for c7ec9ea

• chore(.travis.yml): use ubuntu-14.04, g++-5, emacs25

  soonhokong

  committed
  52696da

  Copy full SHA for 52696da

Commits on May 21, 2016

• feat(A1): fix name of injection tactic and extend description

  Kha

  committed
  265eeec

  Copy full SHA for 265eeec

Commits on May 20, 2016

• chore(.travis.yml): fix lean path for generating js/completion.js

  soonhokong

  committed
  4d232ec

  Copy full SHA for 4d232ec

• chore(.travis.yml): use cask exec emacs to build js/input-method.js

  soonhokong

  committed
  10f379c

  Copy full SHA for 10f379c

• fix(elisp): purely local cask

  

  Kha

  authored and

  soonhokong

  committed
  48cb5db

  Copy full SHA for 48cb5db

• feat(A1): document rewrite rules

  

  Kha

  authored and

  soonhokong

  committed
  3af7a44

  Copy full SHA for 3af7a44

• fix(12): remove obsolete description and reference. Closes leanprover#197.

  avigad

  committed
  0ebc199

  Copy full SHA for 0ebc199

Commits on May 19, 2016

• fix(04,08,11,13): fix chapters to reflect changes in Lean. Closes leanprover#196.

  avigad

  committed
  0fdeb02

  Copy full SHA for 0fdeb02

Commits on Mar 28, 2016

• feat(A1): some updates

  

  Floris van Doorn

  committed
  c7135f8

  Copy full SHA for c7135f8

Commits on Feb 8, 2016

• fix(02): typo

  Show description for e518656
  

  levnach

  authored and

  soonhokong

  committed
  e518656

  Copy full SHA for e518656

Commits on Feb 7, 2016

• fix(04,11,13): fix two elaborator failures. Fixes 189, 190.

  avigad

  committed
  d9aa276

  Copy full SHA for d9aa276

Commits on Feb 5, 2016

• fix(13): change finset.induction to Lean text

  Show description for 7b2f5a1
  

  spl

  authored and

  soonhokong

  committed
  7b2f5a1

  Copy full SHA for 7b2f5a1

Commits on Feb 4, 2016

• fix(13): typos, denoted

  Show description for 6187d60
  

  spl

  authored and

  soonhokong

  committed
  6187d60

  Copy full SHA for 6187d60

• fix(13): improve wording

  Show description for 3997afa
  

  spl

  authored and

  soonhokong

  committed
  3997afa

  Copy full SHA for 3997afa

• fix(12): rename encB to encA

  Show description for 848976e
  

  spl

  authored and

  soonhokong

  committed
  848976e

  Copy full SHA for 848976e

• fix(12): remove unneeded 'open quot'

  

  spl

  authored and

  soonhokong

  committed
  0d17ef3

  Copy full SHA for 0d17ef3

• fix(12): use proper bracketing, don't use numeral

  Show description for 0acbf4e
  

  spl

  authored and

  soonhokong

  committed
  0acbf4e

  Copy full SHA for 0acbf4e

Pagination

Previous

Next