vscode-pvs-1.0.60

2 views

Skip to first unread message

Paolo Masci

unread,

Mar 17, 2022, 10:49:32 AM3/17/22

to PVS verification system

FYI, I have pushed a new version vscode-pvs-1.0.60 to the Visual Studio Code marketplace that fixes an issue with the prover console sometimes losing focus when entering commands.

The new version of vscode-pvs will be installed automatically by Visual Studio Code next time you restart the IDE.

Please let me know in the case the problem persists.

Thanks to those of you that reported the issue!

-Paolo

Reply all

Reply to author

Forward

0 new messages