Issues

• Is it normal that there is no 2.5.1 version on the VS Code marketplace?

  rocq-prover/vsrocq#1370 · Filter by author Zimmi48 opened on Oct 22, 2026
  3

• [BUG] quickfix-replace range is wrong

  bug
  rocq-prover/vsrocq#1369 · Filter by author charst4r opened on Oct 21, 2026

• [BUG] vsrocq.memory.limit does not bound an in-flight computation; vsrocqtop grows without bound and takes the host down

  rocq-prover/vsrocq#1361 · Filter by author romanbott opened on Oct 14, 2026

• [BUG] Qed stays checked after its proof is edited

  bug
  rocq-prover/vsrocq#1355 · Filter by author TDiazT opened on Oct 13, 2026

• [BUG] Stack overflow kills the language server instead of reporting an error (macOS)

  bug
  rocq-prover/vsrocq#1331 · Filter by author TDiazT opened on Sep 25, 2026
  3

• [BUG] Messages panel not clearing out previous Info messages on edit

  bug
  rocq-prover/vsrocq#1328 · Filter by author TDiazT opened on Sep 24, 2026

• [FEAT] Extend textDocument/selectionRange to be AST aware

  enhancement
  rocq-prover/vsrocq#1323 · Filter by author KacperFKorban opened on Sep 16, 2026
  1

• [release] for Rocq 9.3.0

  rocq-prover/vsrocq#1291 · Filter by author gares opened on Jul 28, 2026
  2

• vsrocq-language-server installation fails on OCaml 5.5

  rocq-prover/vsrocq#1287 · Filter by author srghma opened on Jul 24, 2026
  2

• Remove "vsrocq.proof.delegation"

  rocq-prover/vsrocq#1286 · Filter by author MrQubo opened on Jul 21, 2026
  1

• [BUG] Vscode edits slow on big Imports

  bug
  rocq-prover/vsrocq#1269 · Filter by author miriampolzer opened on Jun 29, 2026
  3

• [BUG] Completion blocks stepping over proof steps

  bug
  rocq-prover/vsrocq#1247 · Filter by author PhotonQuantum opened on May 12, 2026
  1

• [FEAT] Cannot install dev version of vsrocq-language-server without a local clone of the repository

  bug
  rocq-prover/vsrocq#1230 · Filter by author bn-peters opened on Apr 9, 2026
  3

• [BUG] > Print does nothing

  bug
  rocq-prover/vsrocq#1225 · Filter by author mattam82 opened on Mar 26, 2026
  4

• ✨ Set up Copilot instructions

  rocq-prover/vsrocq#1215 · Filter by author gares opened on Mar 7, 2026

• [BUG] Set Silent and -quiet have no effect

  bug
  rocq-prover/vsrocq#1210 · Filter by author cpitclaudel opened on Feb 16, 2026

• [FEAT] Perhaps the reset (︽) command should restart vsrocq entirely?

  enhancement
  rocq-prover/vsrocq#1207 · Filter by author cpitclaudel opened on Feb 15, 2026
  1

• [FEAT] Add a blocking request to check that parsing is complete

  enhancement
  rocq-prover/vsrocq#1206 · Filter by author cpitclaudel opened on Feb 15, 2026

• [FEAT] Provide a structured, complete view of the whole document in one query

  enhancement
  rocq-prover/vsrocq#1205 · Filter by author cpitclaudel opened on Feb 15, 2026

• [FEAT] Distinguish Info, Notices, and Debug messages in proof views

  enhancement
  rocq-prover/vsrocq#1201 · Filter by author cpitclaudel opened on Feb 15, 2026
  2

• [BUG] The . at the end of a sentence should not have an hover annotation

  bug
  rocq-prover/vsrocq#1200 · Filter by author cpitclaudel opened on Feb 14, 2026

• [FEAT] Add a setting to control the printing width when using ppmode: 'String'

  enhancement
  rocq-prover/vsrocq#1198 · Filter by author cpitclaudel opened on Feb 14, 2026
  1

• [FEAT] Keep track of vsrocq-language-server version provided with the latest platform

  enhancement
  rocq-prover/vsrocq#1196 · Filter by author ybertot opened on Jan 28, 2026

• License incompatbility?

  rocq-prover/vsrocq#1195 · Filter by author SkySkimmer opened on Jan 26, 2026
  1

• [BUG] Silent failure with VSRocq 2.3.4 and VSRocq language server 2.3.1

  bug
  rocq-prover/vsrocq#1183 · Filter by author vdng9338 opened on Dec 1, 2025
  1