vscode-pvs-1.0.64 pre-release

[Paolo Masci]

Hi Everyone, at the following link you can find a new pre-release 1.0.64-theta of vscode-pvs:

https://drive.google.com/file/d/1XTnUoPie9Yu5TW-z7b0sonBKWnNPB1xa/view?usp=share_link

What's new:

- improved usability of Workspace Explorer, which now show only the theories defined in the active pvs file (if you prefer to see all theories in the active workspace, simply go to vscode settings and uncheck the option PVS Workspace Theories From Active File) 

- added more mathematical symbols

- minor bug fixes

Please try it out and feel free to post messages here if you need help, or spot something that needs fixing, or have new feature requests!

Thanks,

Paolo