Commits

History for

Commits on Dec 12, 2019

unixode.sty: fix Pi and Sigma font problem. Closes leanprover#94
avigad
committedDec 12, 2019

Commits on Aug 16, 2017

feat(*): move to Sphinx
avigad
committedAug 16, 2017

Commits on Nov 21, 2016

refactor(*): switch to mkleanbook
gebner
committedNov 21, 2016

Commits on Dec 11, 2015

feat(unixode.sty): add ∥ (\parallel)
soonhokong
committedDec 11, 2015

Commits on Aug 19, 2015

feat(unixode.sty): ∣
soonhokong
committedAug 19, 2015

Commits on Mar 17, 2015

feat(unixode.sty): add ⇐(\Leftarrow) and ⟸(\Longleftarrow)
soonhokong
committedMar 17, 2015
feat(unixode.sty): add ⇒ (\Rightarrow)
soonhokong
committedMar 17, 2015
feat(unixode.sty): add ⟹(\Longrightarrow)
soonhokong
committedMar 17, 2015

Commits on Feb 18, 2015

feat(unixode.sty): add ↑ and ↓
soonhokong
committedFeb 18, 2015
fix(unixode.sty): wrap greek alphabets with mathrm
soonhokong
committedFeb 18, 2015

Commits on Feb 12, 2015

feat(unixode.sty): add more subscripts
soonhokong
committedFeb 12, 2015

Commits on Feb 6, 2015

fix(unixode.sty): remove \left and \right from angle brackets
avigad
committedFeb 6, 2015

Commits on Jan 19, 2015

feat(unixode.sty): add \vdash for turnstile symbol
UlrikBuchholtz
committedJan 19, 2015
feat(unixode.sty): add subscript 1,2
UlrikBuchholtz
committedJan 19, 2015

Commits on Jan 18, 2015

feat(unixode.sty): add entries for {| and |}
soonhokong
committedJan 18, 2015
fix(unixode.sty): add missing definitions for \tr, \sy, \t and \nat

UlrikBuchholtz
authored and
soonhokong
committedJan 18, 2015

Commits on Jan 16, 2015

fix(unixode.sty): use \Sigma(∑) and \Pi(Π)
soonhokong
committedJan 16, 2015

Commits on Jan 15, 2015

feat(unixode.sty): add ℤ,ℝ,ℚ,ℂ
soonhokong
committedJan 15, 2015
feat(unixode.sty): add ⌞ and ⌟
soonhokong
committedJan 15, 2015
feat(unixode.sty): add ℕ => \mathbb{N}
soonhokong
committedJan 15, 2015

Commits on Dec 9, 2014

feat(*.sty): add LaTeX style files
soonhokong
committedDec 9, 2014

Loading