Search results

[BUG] <code>Set Silent</code> and <code>-quiet</code> have no effect

bugSomething isn't workingSomething isn't working

Status: Open.

#1210 In rocq-prover/vsrocq;

· cpitclaudel opened on Feb 16, 2026

[FEAT] Report Rocq version

enhancementNew feature or requestNew feature or request

Status: Open.

#1209 In rocq-prover/vsrocq;

· cpitclaudel opened on Feb 15, 2026

[BUG] documentProofs crashes with <code>Uncaught exception Failure("hd").</code>

bugSomething isn't workingSomething isn't working

Status: Open.

#1208 In rocq-prover/vsrocq;

· cpitclaudel opened on Feb 15, 2026

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

enhancementNew feature or requestNew feature or request

Status: Open.

#1207 In rocq-prover/vsrocq;

· cpitclaudel opened on Feb 15, 2026

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

enhancementNew feature or requestNew feature or request

Status: Open.

#1206 In rocq-prover/vsrocq;

· cpitclaudel opened on Feb 15, 2026

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

enhancementNew feature or requestNew feature or request

Status: Open.

#1205 In rocq-prover/vsrocq;

· cpitclaudel opened on Feb 15, 2026

[BUG] Diagnostic range is wrong

bugSomething isn't workingSomething isn't working

Status: Open.

#1204 In rocq-prover/vsrocq;

· cpitclaudel opened on Feb 15, 2026

[BUG] Warnings are delayed until further input

bugSomething isn't workingSomething isn't working

Status: Open.

#1203 In rocq-prover/vsrocq;

· cpitclaudel opened on Feb 15, 2026

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

enhancementNew feature or requestNew feature or request

Status: Open.

#1201 In rocq-prover/vsrocq;

· cpitclaudel opened on Feb 15, 2026

[BUG] The <code>.</code> at the end of a sentence should not have an hover annotation

bugSomething isn't workingSomething isn't working

Status: Open.

#1200 In rocq-prover/vsrocq;

· cpitclaudel opened on Feb 14, 2026

[BUG] VSRocq miscomputes line/column offsets

bugSomething isn't workingSomething isn't working

Status: Open.

#1199 In rocq-prover/vsrocq;

· cpitclaudel opened on Feb 14, 2026

[FEAT] Add a setting to control the printing width when using <code>ppmode: 'String'</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#1198 In rocq-prover/vsrocq;

· cpitclaudel opened on Feb 14, 2026