This extensions brings some of the symbols and abbreviations completion used by Isabelle/jEdit to Isabelle/VSCode.
You have to install Isabelle (Isabelle2018) and the prettify-symbols-mode. Then you can install this extension from the marketplace.
There are currently no settings
We don't support the abbreviation specified in the theory headers.
See the Changelog.