Code

Interupt consecutive parsing events#937

Code

Closed

rtetley wants to merge 4 commits intomaincoq/vscoq:mainfrom interupt-parsingcoq/vscoq:interupt-parsingCopy head branch name to clipboard

+155-73

Commits

Commits on Oct 31, 2024

• feat: make parsing part of the event loop

  Show description for 3679529
  rtetley

  committed
  3679529

  Copy full SHA for 3679529

Commits on Nov 4, 2024

• WIP

  rtetley

  committed
  fb79e31

  Copy full SHA for fb79e31

Commits on Nov 5, 2024

• simplification attempt

  gares

  committed
  5ea8a06

  Copy full SHA for 5ea8a06

Commits on Nov 6, 2024

• Merge pull request #939 from coq/interrupt-parsing

  Show description for 696370c
  rtetley

  authored
  696370c

  Copy full SHA for 696370c