Code

Tracking PR for monaco#1

Code

Open

joneugster wants to merge 16 commits intomasterhhu-adam/vscode-lean4:masterfrom monacohhu-adam/vscode-lean4:monacoCopy head branch name to clipboard

+540-347

Commits

Commits on Aug 24, 2024

• Test to fix backslash in URI

  joneugster

  committed
  c12ea25

  Copy full SHA for c12ea25

Commits on Jan 10, 2025

• feat: [lean4web] add option to change selectionMoveMove

  

  abentkamp

  authored and

  joneugster

  committed
  426d624

  Copy full SHA for 426d624

• feat: [lean4web] customizable project precondition checks

  

  abentkamp

  authored and

  joneugster

  committed
  835bbd3

  Copy full SHA for 835bbd3

• bump

  joneugster

  committed
  f30accf

  Copy full SHA for f30accf

Commits on Jan 13, 2025

• feat: add (un)select context menu options (leanprover#451)

  Show description for 0df0cb2
  Vtec234

  authored
  0df0cb2

  Copy full SHA for 0df0cb2

• Release 0.0.188 (pre-release)

  Vtec234

  committed
  a3c0d29

  Copy full SHA for a3c0d29

• fix: escape language client document selector glob (leanprover#566)

  Show description for 4a70fcc
  mhuisi

  authored
  4a70fcc

  Copy full SHA for 4a70fcc

• Release 0.0.189 (pre-release)

  mhuisi

  committed
  dbd82c9

  Copy full SHA for dbd82c9

• update

  joneugster

  committed
  3284f65

  Copy full SHA for 3284f65

• update

  joneugster

  committed
  076f30f

  Copy full SHA for 076f30f

• wait for changes to take effect before replacing abbreviations

  joneugster

  committed
  5c38356

  Copy full SHA for 5c38356

• Merge branch 'preconditions' into monaco

  joneugster

  committed
  b903173

  Copy full SHA for b903173

• Merge branch 'clientsetup2' into monaco

  joneugster

  committed
  77541e5

  Copy full SHA for 77541e5

• Merge branch 'webview2' into monaco

  joneugster

  committed
  e70262b

  Copy full SHA for e70262b

• Merge remote-tracking branch 'origin/windows-fix' into monaco

  joneugster

  committed
  6867d67

  Copy full SHA for 6867d67

• Merge branch 'spacefix' into monaco

  joneugster

  committed
  7273f20

  Copy full SHA for 7273f20