Romain Tetley

icon indicating an email [email protected]

icon company SED icon location Inria Sophia-Antipolis icon location 👇👆

Results 175 comments of Romain Tetley

Add thread count parameter for parallel proofs

This is done in vscoq2: #393

ProofView "Not in proof mode." text is black on black using default settings

This is functional in VsCoq 2

Fix for better error messages when admitting is broken

This bug has been solved in VsCoq 2

message when admitting

Keeping this alive for VsCoq 2

Invalid characters in file name break highlighting globally

Closing in favour of #188

CoqIDE-like view

This is done in VsCoq 2

Goto definition does not work

Closing in favor of #214

"backport" parTac to Coq

@gares is this something relevant to VsCoq 2 ?

Distinguish between no response and empty response to query

This is a real problem that I've run into while implementing the query panel for VsCoq 2 but I think its a limitation of the coq api. At least for...

Error messages inside Proof View

Now these messages end in the Messages section of the goal panel