vscode-pvs-1.0.63 pre-release

[Paolo Masci]

Here is a link to the new pre-release vscode-pvs-1.0.63-alpha:

https://drive.google.com/file/d/1G1cBToThkaTTh1joHbTqVS2wFehx4uHM/view?usp=sharing

This pre-release fixes a minor issue with inline codelens commands, which are sometimes misplaced when theorem/lemma declarations use parameters. Thanks to Sjaak for reporting this problem!

Paolo 

[Paolo Masci]

A new pre-release 1.0.63-kappa is now available!

https://drive.google.com/file/d/1jcYEntonLQ3hGCbe7nk063wRf8xdaKMO/view?usp=sharing

What's new:

- Improved NASALib Search (best search matches are shown first)
- Added matching brackets colorization for sequent formulas (this feature can be enabled/disabled in vscode-pvs settings)
- Added support for prover command (show-expanded-sequent)
- Fixed minor bugs (autofocus of prover console, markdown preview, close button in evaluator console)

Feedback is welcome!

Thanks,

Paolo

[Paolo Masci]

Some additional improvements can be found in this version 1.0.63-xi:

https://drive.google.com/file/d/1fpWSsJ3_A0cY7wm60KCk_Ly21WJoyvJc/view?usp=sharing

What has been improved:

- Improved NASALib Search (library name shown in the results)

- Improved markdown (added support for heading sections, added shortcut M-x show-as-markdown)

- Improved autocompletion for record field names

Thanks,

Paolo

[Paolo Masci]

A final pre-release 1.0.63-sigma can be found at this link:

https://drive.google.com/file/d/17Le6HXflb_AdCxJyJni3kLOpNCJReK4N/view?usp=sharing

What has been improved:

- Search NASALib now accepts multiple search words at once (meaning the user wants to search the conjunction of the words)

- Fixed handling of symbolic links in NASALib folders

- Improved handling of error conditions in Proof Explorer

Thanks,

Paolo

[Tanner Slagel]

Really like the improved NASALib search here Paolo!