Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 28, 2024

• Update display name to reflect version and deprecation (#341)

  mhuisi

  authored
  0c5aad6

  Copy full SHA for 0c5aad6

Commits on Jun 24, 2024

• Release 0.16.59

  mhuisi

  committed
  a0764d7

  Copy full SHA for a0764d7

Commits on Sep 17, 2023

• Update README to reflect that extension is for Lean 3 (#339)

  Show description for 1589ca3
  mhuisi

  authored
  1589ca3

  Copy full SHA for 1589ca3

Commits on Feb 13, 2023

• Release 0.16.58

  gebner

  committed
  0696b29

  Copy full SHA for 0696b29

• Correct the symbol for perpendicular (#328)

  Show description for 865e2cd
  eric-wieser

  authored
  865e2cd

  Copy full SHA for 865e2cd

Commits on Jan 10, 2023

• Release 0.16.57

  gebner

  committed
  61da55a

  Copy full SHA for 61da55a

Commits on Nov 29, 2022

• new suggestion icon (#321)

  

  timlacroix

  authored
  76f402b

  Copy full SHA for 76f402b

• Correct the abbreviation for angle (#322)

  eric-wieser

  authored
  c93a992

  Copy full SHA for c93a992

Commits on Nov 18, 2022

• add abbreviations for ‖ ‖ which place the cursor inside (#315)

  Show description for 27898a0
  

  j-loreaux

  and

  eric-wieser

  authored
  27898a0

  Copy full SHA for 27898a0

• fix(abbreviations.json): update norm symbol (#319)

  Show description for df7bc6e
  fpvandoorn

  authored
  df7bc6e

  Copy full SHA for df7bc6e

Commits on Nov 2, 2022

• Release 0.16.56

  gebner

  committed
  aaefba5

  Copy full SHA for aaefba5

• Add suggestion defaults. Add Suggest button / API to README (#314)

  

  timlacroix

  authored
  3c15eca

  Copy full SHA for 3c15eca

Commits on Sep 14, 2022

• Release 0.16.55

  gebner

  committed
  bb998c2

  Copy full SHA for bb998c2

• Update release script.

  gebner

  committed
  65d0a0c

  Copy full SHA for 65d0a0c

• Proposal for an API based "Suggestions" detail in infoview (#312)

  Show description for d62eece
  

  timlacroix

  and

  gebner

  authored
  d62eece

  Copy full SHA for d62eece

Commits on Aug 22, 2022

• Release 0.16.54

  gebner

  committed
  8ca7fa6

  Copy full SHA for 8ca7fa6

Commits on Aug 18, 2022

• Do not do manual html escaping of react components (#311)

  Show description for ce13ae0
  eric-wieser

  authored
  ce13ae0

  Copy full SHA for ce13ae0

Commits on Jul 18, 2022

• Tweak the README now that bracket pair coloring is upstream. (#309)

  Show description for a41c8f5
  Julian

  authored
  a41c8f5

  Copy full SHA for a41c8f5

Commits on Jun 24, 2022

• Release 0.16.53

  gebner

  committed
  2f7c932

  Copy full SHA for 2f7c932

• Run npm install.

  gebner

  committed
  a56f5c6

  Copy full SHA for a56f5c6

• Add support for listing symbols (#305)

  Show description for 60c43bb
  eric-wieser

  authored
  60c43bb

  Copy full SHA for 60c43bb

Commits on Jun 23, 2022

• feat(completion,search): show icons next to symbols (#306)

  Show description for b8a62d9
  eric-wieser

  authored
  b8a62d9

  Copy full SHA for b8a62d9

Commits on Jun 13, 2022

• feat(.gitpod): Add gitpod configuration (#307)

  Show description for 2a8493a
  eric-wieser

  authored
  2a8493a

  Copy full SHA for 2a8493a

Commits on Jun 2, 2022

• Release 0.16.52

  gebner

  committed
  30e43d5

  Copy full SHA for 30e43d5

• Clarify Lean version in extension description.

  gebner

  committed
  41a36ff

  Copy full SHA for 41a36ff

Commits on May 30, 2022

• Release 0.16.51

  gebner

  committed
  6cf4def

  Copy full SHA for 6cf4def

• Do not mark begin/end as matching brackets.

  gebner

  committed
  7c891a6

  Copy full SHA for 7c891a6

Commits on May 20, 2022

• Release 0.16.50

  gebner

  committed
  3b326b2

  Copy full SHA for 3b326b2

• fix: resolve position in correct document

  gebner

  committed
  6d02502

  Copy full SHA for 6d02502

Commits on May 19, 2022

• Release 0.16.49

  gebner

  committed
  58c72da

  Copy full SHA for 58c72da

• Merge pull request #303 from eric-wieser/fix-try-this

  Show description for 27c15af
  gebner

  authored
  27c15af

  Copy full SHA for 27c15af

• Fix 'try this' in untitled windows

  eric-wieser

  committed
  c159676

  Copy full SHA for c159676

• Release 0.16.48

  gebner

  committed
  8d2efce

  Copy full SHA for 8d2efce

• Merge pull request #301 from eric-wieser/fix-utf-16

  Show description for 9a5f326
  gebner

  authored
  9a5f326

  Copy full SHA for 9a5f326

• Merge pull request #302 from vihdzp/master

  Show description for 5656f7d
  gebner

  authored
  5656f7d

  Copy full SHA for 5656f7d

Pagination

Previous

Next