This repository was archived by the owner on Apr 2, 2025. It is now read-only.

Commits

History for

Commits on Jul 9, 2021

Bring back the blue lambda.
gebner
committed

Commits on Jun 29, 2021

Revert binder highlighting.
gebner
committed

Commits on Jun 21, 2021

fix(syntaxes/lean): parse arbitrary expressions within pattern matches
eric-wieser
committed
fix(syntaxes/lean): do not attempt to parse pattern matches in lambda binders
eric-wieser
committed
fix(syntaxes/lean): `exists` is not a binder if followed by a dot
eric-wieser
committed

Commits on Jun 9, 2021

Merge branch 'master' into add-binder-highlighting
eric-wieser
authored

Commits on Jun 4, 2021

Hack to fix horrible Lean 4 syntax highlighting.
gebner
committed

Commits on Jun 1, 2021

fix(syntaxes/lean): do not match `forall₂` and other tokens beginning with keywords as binder introductions
eric-wieser
committed

Commits on May 26, 2021

Commits on May 25, 2021

Commits on May 12, 2021

Commits on Jul 10, 2020

Enable markdown highlighting in all the comments!
gebner
committed

Commits on Jun 23, 2020

Add syntax highlighting for string blocks.
gebner
committed

Commits on Apr 4, 2020

Add obtain and haveI to highlighted keywords
b-mehta
authored

Commits on Feb 19, 2020

Highlight export keyword.
gebner
committed

Commits on Feb 18, 2020

Add markdown highlighting in doc strings.
gebner
committed

Commits on Jan 15, 2019

Fix highlighting of `def foo: ℕ := 4`
gebner
committed

Commits on Jan 8, 2019

Highlight more mathlib commands.
gebner
committed

Commits on Sep 11, 2018

Commits on Sep 10, 2018

Commits on Sep 9, 2018

Commits on Sep 4, 2018

fix highlighting with extends and trailing .
bryangingechen
committed

Commits on Sep 2, 2018

Add syntax highlighting for λ
luxbock
authored

Commits on Aug 31, 2018

Fix attribute [simp] highlighting
gebner
committed