siegebell/vscoq

proofview does not show anything

Closed this issue · 0 comments

Hello,
My proofview does not work anymore. It opens but shows nothing. Can you please help ?
(The issue appears after my ubuntu upgrade to the last ubuntu version, but not sure it is the only change)
Many thanks

coqidetop.opt -v
The Coq Proof Assistant, version 8.13.2 (September 2021)
compiled on Sep 25 2021 15:44:45 with OCaml 4.11.1

VSCode
Version: 1.60.2
Commit: 7f6ab5485bbc008386c4386d08766667e155244e
Date: 2021-09-22T12:01:43.795Z
Electron: 13.1.8
Chrome: 91.0.4472.164
Node.js: 14.16.0
V8: 9.1.269.39-electron.0
OS: Linux x64 5.13.0-16-generic