isabelle-snippets README

This extensions brings some of the symbols and abbreviations completion used by Isabelle/jEdit to Isabelle/VSCode.

Features

This plugin brings all abbreviations used by Isabelle/jEdit to Isabelle/VSCode, and more.

Requirements

You have to install Isabelle (Isabelle2018) and the prettify-symbols-mode. Then you can install this extension from the marketplace.

Due to this issue in the prettify-symbols-mode plugin, take the version prettify-symbols-mode-0.4.3-beta1.vsix from here.

Extension Settings

There are currently no settings

Known Issues

We don't support the abbreviation specified in the theory headers. This is not supported by the snippets mechanism.

Release Notes

See the Changelog.