Commits

Commits on Oct 21, 2016

Update 'secure's
soonhokong
committedOct 21, 2016

Commits on Jun 9, 2016

fix(.travis.yml): use sudo for installing npm packages
soonhokong
committedJun 9, 2016
feat(ulem.sty): add
soonhokong
committedJun 9, 2016
chore(.travis.yml): use ubuntu-14.04, g++-5, emacs25
soonhokong
committedJun 9, 2016

Commits on May 20, 2016

chore(.travis.yml): fix lean path for generating js/completion.js
soonhokong
committedMay 20, 2016
chore(.travis.yml): use cask exec emacs to build js/input-method.js
soonhokong
committedMay 20, 2016

Commits on Jan 22, 2016

fix(08,12): links
soonhokong
committedJan 22, 2016

Commits on Jan 5, 2016

fix: replace deprecated polymer/platform with webcomponent.js
soonhokong
committedJan 5, 2016

Commits on Dec 29, 2015

fix(js/main_live.js): explicitly pass 'false' to lean_init function when standard kernel is being used
soonhokong
committedDec 29, 2015

Commits on Dec 28, 2015

fix(08,09): use normalized metaclass names
soonhokong
committedDec 28, 2015

Commits on Dec 23, 2015

fix(js/main_live.js): use loadJSFile function instead of $.getScript
soonhokong
committedDec 23, 2015
feat: add support HoTT
soonhokong
committedDec 23, 2015
fix(js/main_live.js): handle second case properly in load_from_url
soonhokong
committedDec 23, 2015

Commits on Dec 19, 2015

fix(13): wrap zero_add with namespace playground
soonhokong
committedDec 19, 2015
fix(11): wrap inv_eq_of_mul_eq_one with namespace playground
soonhokong
committedDec 19, 2015
fix(09): changed option name class.trace_instances => trace.class_instances
soonhokong
committedDec 19, 2015

Commits on Dec 11, 2015

feat(unixode.sty): add ∥ (\parallel)
soonhokong
committedDec 11, 2015
chore(index.html): use cdn.jsdeliver instead of cdnjs (cloudflare)
soonhokong
committedDec 11, 2015

Commits on Nov 25, 2015

fix(js/main_live.js): print_output_to_console has a Boolean value instead of string
soonhokong
committedNov 25, 2015

Commits on Nov 24, 2015

feat: make print_output_to_console true by default
soonhokong
committedNov 24, 2015

Commits on Nov 6, 2015

fix(elisp/org-pdf-export.el): update smart-quote following updates in org-8.3.2
soonhokong
committedNov 6, 2015

Commits on Sep 21, 2015

fix(README.md): add texlive-luatex
soonhokong
committedSep 21, 2015

Commits on Aug 19, 2015

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

Commits on Aug 18, 2015

fix(04), remove the use of theories.number_theory.primes
soonhokong
committedAug 18, 2015

Commits on Aug 17, 2015

fix(7,8,11): use data.examples.vector instead of data.vector
soonhokong
committedAug 17, 2015

Commits on Aug 10, 2015

doc(README.md): add 'make test_js'
soonhokong
committedAug 10, 2015

Commits on Aug 9, 2015

fix(06): error "environment already has an object named 'cases_on'"
soonhokong
committedAug 9, 2015

Commits on Aug 7, 2015

fix(01): typos
soonhokong
committedAug 7, 2015
feat(test.sh): only grep "+BEGIN_SRC lean" + whitespaces
soonhokong
committedAug 7, 2015

Commits on Aug 6, 2015

fix(02,05,08,09,11): unresolved inter-file links
soonhokong
committedAug 6, 2015

Commits on Aug 2, 2015

fix(.travis.yml): fix done, re-enable test
soonhokong
committedAug 2, 2015
fix(.travis.yml): add pgf
soonhokong
committedAug 2, 2015
fix(.travis.yml): add latex-xcolor
soonhokong
committedAug 2, 2015
fix(.travis.yml): add lmodern
soonhokong
committedAug 2, 2015
fix(.travis.yml): add missing luatex
soonhokong
committedAug 2, 2015