A pre-release vscode-pvs-1.0.53 is available at the following link:
https://drive.google.com/file/d/1ntiHLTV0AWz_Qk3TW1B9FwEAi-PcwoCL/view?usp=sharingThis pre-release introduces the following changes:
* Design change for auto-completion in the prover prompt: "Space" autocompletes math symbols.
* Fix for F4/F5 shortcuts in the prover session
* Fix for intermittent bug resulting in blank display shown when starting a prover session
* Design change for error messages in the prover console: when incorrect prover commands are entered at the prover console, the console shows an error message without re-displaying the (unchanged) sequent
* Design change for file explorer: ADT files are now visible in file explorer
Our current tests indicate that everything is ok with this pre-release
- If you try out the pre-release, your feedback would be welcome!
- If no major issue is found within the next 2 days, the pre-release will be published on the VSCode marketplace as version 1.0.53
To install the pre-release:1. Download the .vsix file vscode-pvs-1.0.53-delta.vsix from the link above
2. Click on the Extensions icon in the Activity Bar of VSCode
3. Click on the ... menu in the title bar, and use 'Install from VSIX' to select the downloaded .vsix file