Code

wip: coq interruption#1046

Code

Draft

gares wants to merge 5 commits intomaincoq/vscoq:mainfrom interruptcoq/vscoq:interruptCopy head branch name to clipboard

+159-19

Commits

Commits on Feb 21, 2025

• wip

  gares

  committed
  00a483e

  Copy full SHA for 00a483e

Commits on Feb 24, 2025

• feat: add a button and command to send intterupt`

  rtetley

  committed
  7883909

  Copy full SHA for 7883909

• feat: add vscoq/interrupt verb to language server

  Show description for a6f5008
  rtetley

  committed
  a6f5008

  Copy full SHA for a6f5008

• fix: pass a documentUri to the interrupt notification to get state

  Show description for 96f33d7
  rtetley

  committed
  96f33d7

  Copy full SHA for 96f33d7

• wip/ugly/kindadoes

  gares

  committed
  c6f9a34

  Copy full SHA for c6f9a34