Commits

Branch selector

 master

User selector

mhuisi

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 Jan 19, 2021

• chore: change bad name

  mhuisi

  committed
  faa26f2

  Copy full SHA for faa26f2

Commits on Jan 18, 2021

• feat: ask vscode-lean4 whether it launched instead of trying to figure it out by ourselves and reset version

  mhuisi

  committed
  e10c3bd

  Copy full SHA for e10c3bd

Commits on Jan 17, 2021

• chore: inconsistent indents

  mhuisi

  committed
  9bc6b60

  Copy full SHA for 9bc6b60

• chore: remove dead import

  mhuisi

  committed
  4a008d6

  Copy full SHA for 4a008d6

• fix: more permissive version parsing & default to lean3 if lean --version is not found

  mhuisi

  committed
  0275b12

  Copy full SHA for 0275b12

• add compatibility for vscode-lean4

  mhuisi

  committed
  8e502ba

  Copy full SHA for 8e502ba